Use docker for travis