updates for spotlib.2.3.0
Merge remote-tracking branch 'upstream/master' into pr
core 109.31.00-rc1
added dummy zero.109.28.00 package
fix core's url
core: add upper-bounds to required versions
core 109.31.00-rc2
Add CIL 1.7.2

Bug fix release (wrong META, missing files in cil.cm{a,xa}).
treeprint also causes non-Linux to spin endlessly due to `yes no | omake`
Merge pull request #844 from mirage/master

fix another spinning worker due to omake on non-linux
Merge pull request #845 from kerneis/master

Release CIL 1.7.2
Shorten lines
Fix OCamlPro/opam#641

The issue is that lwt_text depends on lwt_react, and thus we can't have --enable-text and --disable-react at the same time.
Merge pull request #846 from samoht/master

Fix OCamlPro/opam#641
Added 'gsl-1.13.0'
Merge pull request #847 from superbobry/master

Updated GSL wrappers to '1.13.0'
core 109.31.00
Merge pull request #830 from janestreet/core-109.31.00

core 109.31.00-rc1
Patch ocamlnet 3.6.5 for OCaml >= 4.01.0
Merge pull request #848 from dsheets/master

Patch ocamlnet 3.6.5 for OCaml >= 4.01.0