A simpler Travis CI script! Also don't clean when running verify