flake: don't follow our nixpkgs revision for risc0pkgs to speedup builds

[marijanp]

• I removed the follows instruction such that we trigger less rebuilds for the risc0 tooling if we update nixpkgs and benefit from better caching
• I updated the kairos-prover to follow the risc0pkgs template
• I packaged the kairos-prover with crane
• I refactored the source filtering for kairos, making it easier to use and likely willl improve caching because it's less error prone

Further temporary optimisation:

• uncomment the import of ./kairos-prover to avoid building any risc0 related code
• removed the GHA ubuntu build
• removed the GHA x86_64-darwin build

Note that prior to merging we need to change the merge rules to not require the ubuntu-latest check.

[github-actions]

File	Coverage
All files	54%	❌
kairos-tx/src/asn.rs	76%	✅
kairos-tx/src/error.rs	0%	❌
kairos-server/src/routes/deposit.rs	88%	✅
kairos-server/src/routes/transfer.rs	90%	✅
kairos-server/src/config.rs	0%	❌
kairos-server/src/errors.rs	12%	❌
kairos-server/src/state.rs	90%	✅
kairos-server/src/utils.rs	22%	❌
kairos-crypto/src/implementations/casper.rs	3%	❌
kairos-test-utils/src/cctl/parsers.rs	66%	✅
kairos-server/src/state/transactions.rs	57%	❌
kairos-server/src/state/trie.rs	35%	❌
kairos-test-utils/src/cctl.rs	87%	✅
kairos-test-utils/src/kairos.rs	95%	✅
kairos-server/tests/transactions.rs	85%	✅
kairos-server/src/state/transactions/batch_state.rs	42%	❌

Minimum allowed coverage is 60%

Generated by 🐒 cobertura-action against f8122c3

[koxu1996]

Question: where is TOML file used to generate this lockfile?

[marijanp]

There is none because rust-std only ships with a lockfile: I don't know how you obtain your rust compiler but there should be a directory lib/rustlib/src/rust and this is where this fiel is copied from