Make use of container-based Travis-CI

- Use the container-based infrastructure for Travis-Ci.