info on starting Isabelle/Eclipse
additional annotations for prover output (issue #64)

Avoid squiggles in prover output and use a different set of annotations for errors/warnings/info, which can be adjusted separately.
Merge branch 'prover-output-anns'