Fix branch of Travis CI badge

It otherwise includes all branches and Pull Requests.