Document adding a proof clause.
Document the MakeLemma command.
Document Refine.
Merge pull request #27 from ctford/document-commands

Document commands