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.