Switch Travis to our Jenkins for branch building

Jenkins already has the dependencies installed and is already controllable by
the relevant people. Travis can be slow and requires you to authorise access to
your GitHub account to control it (eg rerun a build).