Travis CI: Use docker-based build environment