Merge pull request #1904 from hhugo/xmllight22

Xml-light.2.2: fix broken url
Merge pull request #1903 from hhugo/ocsigen

Ocsigenserver 2.3.1 + 2.4.0
Merge pull request #1901 from Chris00/master

Add mindstorm 0.5.3
Merge pull request #1902 from c-cube/sequence

sequence 0.4
Merge pull request #1899 from c-cube/master

patch for coq when Make 4.0 is present (issue #1262)
Updated zbar
Inotify 2.0.

Peter Zotov is taking over the project.  Thanks Peter!
Updated with Peter's email address.
+cohttp.0.11.1
Merge pull request #1905 from vbmithr/master

Updated zbar
Merge pull request #1907 from mirage/master

+cohttp.0.11.1
Updated checksum.
Add piqi-0.7.1
Merge pull request #1906 from seanmcl/master

Inotify 2.0
Merge pull request #1908 from alavrik/master

Add piqi-0.7.1
deriving-yojson.0.4
Fix Jocaml + latest OSX
there was a trailing whitespace at the end of the URL
Merge pull request #1911 from UnixJunkie/patch-5

there was a trailing whitespace at the end of the URL
Merge pull request #1910 from hhugo/jocaml

Fix Jocaml + latest OSX