[isabelle-dev] OCaml 4.06.0 drops nums.cma

[Lars Hupel]

> Where "automatic" means that a single Isabelle administrator (e.g. the
> local user) decides to invoke "isabelle ocaml_setup" and do other
> Isabelle administration in parallel. Afterwards the ISABELLE_OCAML
> settings will be correctly provided by the etc/settings scripts, without
> any further automatisms that can fail in strange ways.

OK. This is running now in testboard:
<https://ci.isabelle.systems/jenkins/job/testboard/172/consoleFull>

The corresponding changeset is
<https://isabelle.in.tum.de/repos/testboard/rev/6d768e0eeaaf>.