turn on Travis

and a few other minor tweaks