Travis CI: no-internet profile