Move tools; rewrite Travis scripts