Document mutation operators

[palmskog]

We should document the available mutation operators somewhere in the repository, preferably with examples of how they affect Coq code. Most directly, we could add a file OPERATORS.md and list them all. This documentation could also be added to the inline help for mcoq.py.