Permit Travis to use Docker for faster builds