Fix coveralls badges pointing to wrong repo.