"Installing from source" documentation

[tedinski]

We should document not just how to build Kani but how to install it (just as a normal cargo install would do) but from source.

Further, we need to improve the "unsupported" error messages for users cargo installing on e.g. M1 to indicate that building from source is required (for now)