Turned on docker/container-based infrastructure for Travis CI