Change Travis-CI badge to use the master branch