Create a StableMIR User Guide #76
Description
We could use the demo/ folder to create a quick getting started. Other things to include examples on how the APIs differ, how to use StableMIR safely. There might be some interesting things that we can get from this document too: https://model-checking.github.io/kani/stable-mir.html