restrict older frama-c versions to the ocaml <4.01.0
Merge pull request #2115 from avsm/frama-c-versions

restrict older frama-c versions to the ocaml <4.01.0