Update the travis-ci badge to the correct branch.