Fix coveralls badge

(develop2 branch doesn't exists anymore)