More docker and travis config changes.