ocaml-ssl: Update to 0.4.7 and switch to GitHub mirror

Signed-off-by: Euan Harris <euan.harris@citrix.com>
optcomp: Update to 1.6 and get sources from GitHub.

Signed-off-by: Euan Harris <euan.harris@citrix.com>
ocaml-zed: Update to 1.6 and get sources from GitHub

Signed-off-by: Euan Harris <euan.harris@citrix.com>
ocaml-text: Update to 0.7.1 and get sources from GitHub.

Signed-off-by: Euan Harris <euan.harris@citrix.com>
downloader: Don't verify SSL certificates for forge.ocamlcore.org

OCaml Forge's SSL certificate has expired.

Signed-off-by: Euan Harris <euan.harris@citrix.com>
Merge pull request #540 from euanh/github-mirrors

Switch from OcamlForge to GitHub, where possible
Update xenopsd

Signed-off-by: David Scott <dave.scott@citrix.com>
xenopsd: try to enable upstream qemu

Signed-off-by: David Scott <dave.scott@citrix.com>
Add ocaml-netlink, needed by new xcp-networkd

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
mappkgname: libnl3 appears to be libnl-3-200 (for some reason)
xcp-networkd: update to 0.9.5

This fixes a problem with (not using) the message-switch.
This introduces a dependency on libnl3 and libffi-dev at runtime,
 which could be problematic.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Update ocaml-netlink to 0.2.0

This one has better Debian support

Signed-off-by: David Scott <dave.scott@citrix.com>
netlink: we need both libnl-3-200 and libnl-route-3-200

Signed-off-by: David Scott <dave.scott@citrix.com>
xcp-networkd needs libffi-dev

Signed-off-by: David Scott <dave.scott@citrix.com>
xcp-networkd: update to new command-line syntax

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
libffi-dev should be libffi-devel

Signed-off-by: David Scott <dave.scott@citrix.com>
xcp-networkd: add the manpage

Signed-off-by: David Scott <dave.scott@citrix.com>
Build libnl3 by default

If a distro has it, then it should be placed in the per-distro
exclude file.

Signed-off-by: David Scott <dave.scott@citrix.com>
xcp-networkd: install the manpage

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #536 from djs55/updates

Update xenopsd