switched Travis CI badge from master to develop branch