Revert "We have jenkins now, stop killing travis servers"

This reverts commit 6513c31d0c48bb66bf55f0bd2b573b704761cc98.