Use travis docker containers