Write standard blurbs 'writing coverage object' etc. to stderr so as to not pollute stdout