[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