[isabelle-dev] OCaml 4.06.0 drops nums.cma

[Lars Hupel]

> 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>.

I have discarded my changeset now, because Florian has pushed an 
alternative solution. Here it is running:

<https://ci.isabelle.systems/jenkins/job/isabelle-all/927/consoleFull>

It initially failed because the OCaml people rely on "m4", which 
apparently is not installed by default on modern Ubuntu systems.