Make a kani-0.1.0 test release

[tedinski]

We should write a RELEASE-PROCESS.md document, to write down all our notes and procedures for how to make a new Kani release.

[tedinski]

I have a draft document written. I'm going to consider this issue resolved when I'm able to run through it, find and fix any issues, and make a test 0.1 release.

Consequently, I'm re-titling this issue to "Make a Kani-0.1 test release"