Removed "develop" from Travis CI, we're not git-flowing now.