Libcprover-rust has no README when published in crates.io

[NlightNFotis]

On the latest release of the libcprover-rust crate, the crates.io website doesn't render the documentation, claiming that the project doesn't contain a README.md file.

This is happening because our project contains a readme.md file instead.

The releases were being made from a MacOS machine up until now, which didn't make this a problem (because the OS X filesystem isn't case sensitive by default). Today, we experimentally did a release through a Linux machine, which is case sensitive, rendering this to be a problem.

We're going to fix this very soon, but in the meantime feel free to remedy the situation by:

1. Looking at the documentation rendered at the previous version's page at crates.io libcprover-rust`, or
2. Read the documentation locally by rendering it with cargo doc.