in response to issue #617, an option --cover-suppress-stdout, which
suppresses the reporting to stdout.  it doesn't change any other
behaviour.