Change to relying exclusively on travis.hs
Improve the travis script to run on self and with profiling