Update Travis CI badge to develop branch