Fix Travis CI build config

We must use sudo to install Isabelle, and we need to build its theories
first.