Fix typo in help of prove command
Merge pull request #145 from ltrebing/master

Fix typo in help of prove command