Merge pull request #2009 from samoht/master

Remove broken re.install files
Merge pull request #2010 from jpdeplaix/master

Fix and update why3
inotify: add forgotten base-unix dependency.
Merge pull request #2012 from whitequark/master

inotify: add forgotten base-unix dependency.
Merge branch 'master' of git://github.com/ocaml/opam-repository into camlp4-deps
camomile: add camlp4 dependency
joolog: fix
joolog: add camlp4 deps
joolog: missing constraint on lwt (lwt.log needed)
Sync latest compiler pull requests
Merge pull request #2014 from hhugo/joolog-fix

joolog: fix
Merge pull request #2015 from bactrian/sync-prs-1399540377

Sync OCaml compiler PRs
Merge branch 'master' of git://github.com/ocaml/opam-repository
+github.0.8.5
Merge pull request #2000 from avsm/camlp4-deps

More camlp4 deps
Merge pull request #2016 from avsm/github

Github 0.8.5
ox: Add version constraint to openflow dependency

The lwt runtime code was removed in version 0.3.0, so ox must depend on
an earlier version.

Related to frenetic-lang/ox#2
crypt 1.3
Sync latest compiler pull requests
Remove runtime dependency on ospec

ospec is required neither for building nor for running uint.