Consistency of `--jvm` CLI options: allowing optional JVM path#13225

JaroslavTulach merged 5 commits intodevelopenso-org/enso:developfrom

wip/jtulach/DebugProjectManagerDistributionenso-org/enso:wip/jtulach/DebugProjectManagerDistributionCopy head branch name to clipboard