use docker for travis-ci