Remove file now unused by travis -- everything is under ci.