Explicitly use master branch for Travis CI badge