[ADD] CLI Scripts: speify JVM options via BASEX_JVM env. variable