Version 0.1

This is the initial release of moveproofs. It is functional, but very much in alpha! See README.md and example.pdf in the repo for documentation and usage.