added info on starting Isabelle/Eclipse