Update travis config

Now uses a technique from the lens package, where we try to install as many
dependencies as possible from apt-get