opium 0.7.0
Merge pull request #1897 from rgrinberg/master

opium 0.7.0
patch for coq when Make 4.0 is present (issue #1262)
Sync latest compiler pull requests
Merge pull request #1900 from bactrian/sync-prs-1397516401

Sync OCaml compiler PRs
Merge pull request #1837 from mirage/master

+uri, cohttp, github, cowabloga, conduit releases
Add mindstorm 0.5.3
sequence 0.4
ocsigenserver.2.3.1
mindstorm.0.5.3: add depexts
ocsigenserver.2.4
ocsigenserver: udpate maintainer
Xml-light.2.2: fix broken url
oasis2opam 0.4.5
disable documentation in sequence
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)