put correct branch in Travis-CI badge