use docker on travis-ci for tests