Disable issue commenting #217
Description
There should be an option to suppress pull-request-quantifier commenting on pull requests.
This is desirable because every time a new commit is pushed the bot will add a comment, which then sends a Github notification to everyone subscribed.
See also: #168.