docker and travis updates