ox: lower openflow version requirement for ox.1.0.1

ox.1.0.1 will not build with openflow.0.2.0 because of some API changes
in the lwt subpackage. This subackage is deprecated and in fact has
been removed from openflow.0.3.0.
ox: add v1.1.0
openflow: add async version constraint for openflow.0.3.0
ox: constrain version of  async_extra rather than async

That is the package that contains the API incompatibility.
openflow: update async_extra constraint

Maybe the trailing 0 is necessary.
openflow: change depots constraint to a conflicts constraint
new release of ACPC
findlib 1.4.1
async-zmq 0.0.1
Sync latest compiler pull requests
Add gadelac 0.6
Allow tophide to compile with ocaml < 4.02.0

4.02.0 will need an update due to change to Outcometree.Osig_exception.
Note; tophide is used by mikmatch when it is run in the toplevel.
mikmatch for ocaml 4.01.0

attempts to make pcre backend optional and compiles str by default
revert change - need to use and updated package

will add 1.0.2 instead
add tophide 1.0.2 for ocaml >=4.00 & < 4.02

note; made up version which isn't released upstream (uses commit hash)
fix syntax for optional install and add patch

the patch makes mikmatch_str depend on str rather than pcre so it can be
installed separately.
[Coq] make the dependency between coqide and coq strict
[Coqide] add coqide 8.4pl4
Add ocaml-dht 0.1.3
Merge pull request #2185 from rgrinberg/master

async-zmq 0.0.1