.github docs ferris-proof-cli ferris-proof-config ferris-proof-core ferris-proof-plugins scripts .gitlab-ci.yml Cargo.lock Cargo.toml Containerfile Containerfile.alpine Contributing.md Licence.md ReadMe.md cli_commands_unit_test.rs cli_initialization_property_test.rs proptest.toml rust-toolchain.toml