[Frama-C] normalize the version number (remove atoms name)
[Alt-Ergo] remove the strict dependency on ocamlgraph 1.8.2
[OcamlGraph] version 1.8.3
[Frama-C] add Fluorine3 20130601
[Why2] add version 2.33
Merge pull request #862 from bobot/framac

New version of Frama-c, Ocamlgraph, Why2. Warning: renaming of Frama-c version