Remove obsolete TravisCI build code