run Isabelle as batch job
Merge pull request #2 from spechub/Isabelle_hpf_example

run Isabelle as batch job