run Isabelle as batch job