update coveralls badge to use the main repo