update coveralls url and badgify