Use Docker for Travis.
Add missing dependencies to Travis manifest.