Don't build Isabelle on Travis CI