Update to Travis CI config -- install and script are stafeful. Grr.