Try to get develop branch built by travis

I found this in the section speficy branches to build in
http://about.travis-ci.org/docs/user/build-configuration/#Specify-branches-to-build.

I am doing this PR from a branch other than develop because there is already
another PR from that branch waiting to be merged.