Sending coverage information to Scrutinizer and displaying badges

Related to #414.