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 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