Merge pull request #1711 from rdicosmo/master

Added dose patches for portable /tmp directory and quoting criteria
irminsule 0.5.0
Fix irminsule descriptions
irminsule 0.5.0: fix the version constraint for Git
Ctypes 0.2.3.
Add protobuf 1.0.0
Remove some old ctypes versions.
Merge pull request #1714 from yallop/ctypes-0.2.3

Ctypes 0.2.3
Add oasis 0.4.2
OASIS doesn't depend on fileutils since 0.3.0
Merge pull request #1713 from samoht/master

irminsule 0.5.0
Merge pull request #1715 from orbitz/add-protobuf-1.0.0

Add protobuf 1.0.0
Merge pull request #1716 from jpdeplaix/master

Add oasis 0.4.2
oasis2opam 0.3.6 requires oasis <= 0.4.1
+mirage-xen.1.1.1
Merge pull request #1718 from hcarty/patch-1

oasis2opam 0.3.6 requires oasis <= 0.4.1
Add ocp-index.1.0.2
Merge pull request #1709 from AltGr/ocp-index.1.0.2

New release of ocp-index
oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1720 from Chris00/master

oasis2opam 0.4.0 for oasis 0.4.2