updates for spotlib.2.3.0
Merge remote-tracking branch 'upstream/master' into pr
restrict to linux only due to `yes no|omake` spinning on non-Linux
Switched to OCamlMakefile.
added pa_ovisitor.1.0.0
[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
Adding ocaml-markdown 0.1.1
camlimages.4.1.0
meta_conv.1.1.2
orakuda.1.1.0
tiny_json.1.1.2
tiny_json_conv.1.4.1
treeprint.1.0.2
fixed url of ocaml-indent.1.1.0
fixed opam and url of ocamltter.2.1.1
fixed url of spotlib.2.3.0