Sample demo project for cargo2nix.
