extend Isabelle/Scala API: allow passing the system environment programmatically;
extend Isabelle/Scala API: allow re-initialise Isabelle settings after they have been loaded using force_init flag

These changes allow selecting different Isabelle installations from the same JVM