[why/f18] (2 commits) ...Recripple the Jessie plugin until it works with frama-c Oxygen.

[Richard W.M. Jones]

Summary of changes:

  ec564f1... Rebuild for OCaml 4.00.1 and frama-c Oxygen. (*)
  d625b75... Recripple the Jessie plugin until it works with frama-c Oxy (*)

(*) This commit already existed in another branch; no separate mail sent