Switch to new Travis CI build environment

- faster VM boot (running in a docker container)
- better performances (4G of RAM instead of 3G, more stable network,
  linux kernel 3.x instead of 2.x, etc)
- ability to cache files in an S3 storage (per git branch). Note the
  tricks to avoid unnecessary cache uploads