Add minimal executable to ensure lib is no-std and no-alloc
Test with:
cargo build --target x86_64-unknown-none \
--manifest-path ci/ensure_no_std/Cargo.toml
Note that currently this test fails, because the lib unconditionally
depends on `alloc`.
After fixing this, the build will be added to run in CI.