Proof Repository

The information about what crev's proof repository is was moved to a new location.

For information how to import Proof Repository into your cargo-crev, follow the cargo-crev User Documentation and/or ask for help on crev Matrix channel.