use Docker for travis-ci