Merge pull request #718 from mirage/master

workaround atdgen build failure
Merge pull request #716 from tr61/master

Added p3 package to opam-repository
add atdgen.1.2.4
add biniou.1.0.6
add yojson.1.1.6
refine atdgen.1.2.3 constraints to need biniou.1.0.6
the older yojson.1.1.3 has a fixed upper bound on biniou version
Merge pull request #719 from mirage/master

refresh atdgen packages
Merge branch 'master', remote-tracking branch 'upstream/master'
providing package for ocamlagrep
rename ocamlagrep to agrep (findlib name)
Merge pull request #720 from blue-prawn/master

providing package for ocamlagrep
Tweak batteries install commands for FreeBSD

This modification should allow batteries 2.0.0 to install under FreeBSD
Merge pull request #722 from thelema/patch-1

Tweak batteries install commands for FreeBSD
core 109.23.00
datalog 0.4 released
zipperposition 0.2 depends on datalog < 4 (api change)
Merge pull request #723 from c-cube/master

datalog 0.4 released
Merge https://github.com/OCamlPro/opam-repository
inotify.1.3