Use the master branch for the Travis CI badge.