fixed missing dependency
avoid using OSGI Declarative Services to auto-start pp.isabelle.core tracking

The OSGI DS usage messes up Eclipse plug-in startup sequence and an incorrect workspace is used (default instead of selected). Instead, use `org.eclipse.ui.startup` extension point to auto-start pp.isabelle.ui, which in turn starts pp.isabelle.core.
do not use OSGI Declarative Services to auto-start Z/EVES PP tracker

Use `org.eclipse.ui.startup` extension point instead via pp.zeves.ui plug-in.
Merge branch 'fix-default-workspace'
Convert Isabelle home path to JVM representation (fixes #9)

On windows, ISABELLE_HOME returns a cygwin path. Need to convert it to JVM representation to use from Scala side, otherwise the files are not found and patching fails.
Merge branch 'master' into mark-features

Conflicts:
	org.ai4fm.proofprocess.isabelle.ui/plugin.xml
	org.ai4fm.proofprocess.zeves.core/META-INF/MANIFEST.MF
	org.ai4fm.proofprocess.zeves.ui/plugin.xml
fixed empty string model defaults