support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;