[frama-c/f21] (6 commits) ...Rebuild for why3 0.85.

[Jerry James]

Summary of changes:

  070df9e... ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. (*)
  b232d57... - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_M (*)
  612f6b0... ocaml-4.02.0+rc1 rebuild. (*)
  11fb2e7... Rebuild for final ocaml 4.02.0 release. Fix license handlin (*)
  5298e18... Merge branch 'f21' (*)
  5f82efa... Rebuild for why3 0.85. (*)

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