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
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
fix of pa_ovisitor
Merge remote-tracking branch 'upstream/master' into pr
Remove the coq depopt of frama-c for now

This coq depopt constraint is causing the opam constraint solver to return incorrect answers resulting in widespread build failures.
Merge pull request #866 from dsheets/patch-12

Remove the coq depopt of frama-c for now
Merge pull request #868 from Chris00/master

Make tyxml.2.2.0 use ocamlnet 3.6 or later.
Frenetic -> frenetic, pretty-printing changes