Allow separation of coverage run from push to coveralls