Merge pull request #2710 from claudemarche/master

new package version why3 0.85
Add ocamlnet 3.7.6
dlist: fix install instructions to work on both ocp-build.1.99.6-beta and 1.99.8-beta
Fix uninstall targets for mirage-net-xen
Fix removal of mirage-console-xen
Merge pull request #2722 from garrigue/master

new package for labltk and ocamlbrowser, since they split from ocaml
added ppx_test.0.0.1
Merge remote-tracking branch 'origin/master' into for-pull-request
added checksum
Sync latest compiler pull requests
Merge pull request #2728 from bactrian/sync-prs-1411081201

Sync OCaml compiler PRs
Merge pull request #2723 from planar/dlist-install

dlist: fix install instructions
Merge pull request #2724 from samoht/master

more fixes to mirage packages
Merge branch 'for-pull-request' of https://github.com/camlspotter/opam-repository into for-pull-request
fixed checksum
checksum change
Camlp5 6.12
fixed opam dependency
Add package for Lambdoc 1.0-beta2
add package alpacaml