Update coverage badges
Update .travis.yml: fix branch name