coverage badge: making coveralls silent, i.e. suppress output in travis in order not to display the committer information publicly.