Adds a --color flag to the ConsoleReporter, with options 'never',
'always' and 'auto'; the latter being the current behaviour
(i.e., color when stdout is a terminal device).
Minor changes to the UseColor patch
Remove the flattr button
Document --color