Merge branch 'master', remote-tracking branch 'upstream/master'
Updates from the original repo
Merge branch 'master', remote-tracking branch 'upstream/master'
Merge branch 'master', remote-tracking branch 'upstream/master'
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
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
uri.1.3.8