added description/overview/installation instructions to website

This MR adds the Overview, Installation, and Quick Start sections of the README.md to the index page of the docs, so that the documentation landing page looks like this:

I also updated the docstring for crikit.cr.CR and made a minor usability improvement to crikit.invariants.register_invariant_functions.