Use cached build of Poly/ML and HOL for Travis regression
rework so travis gets its own version of the regression test

which produces more output on stdout (rather than writing to log files)
there is some repetition of code here, but bash is not the best language
for writing things nicely...
Merge branch 'master' into init_env

(to get better travis behaviour)