added isabelle-process prover to avoid user interaction
added simple automatic prover based on isabelle-process
sending explicit EOT is not needed
properly quit isabelle-process
Merge pull request #1290 from spechub/1284-Isabelle-batch-prover

1284 isabelle batch prover