Strip markdown formatting from comments

Because GitHub does not support markdown formatting in comments.
Treat all ExecErrors as patch failures
Add some options for more useful commit message output
Clean the workspace before starting