add install-deps script and travis.yml config

experiment with continuous integration.
probably doomed to failure since they have a hard limit of 50 minutes
and we have to build HOL before even starting a build.