+Abella 2.0.2

Also removed abella.2.0.0, which is now obsolete
Abella 2.0.2 requires OCaml 4.01.0+
Adds diy.5.01
Fixes typo in opam file of diy
mlpost: cairo is a hard dependency
[lablgtk-2.14] install lablgladecc2
added spotlib2.5.0
verified ppx_test.0.0.1 works with 4.02.1
Added gpx library.
gpx lib: fixed URLs in opam file.
Sync latest compiler pull requests
checksum change
verified that meta_conv.1.1.5 works with 4.02.1
added orakuda.1.2.2
Add ocaml-hex 0.10
Merge pull request #2931 from bactrian/sync-prs-1414105201

Sync OCaml compiler PRs
Merge pull request #2915 from chaudhuri/abella.2.0.2

+Abella 2.0.2
Add ezjsonm 0.3.0 and migrate older versions to new repo address
+mirage-xen-minios.0.4.1
Remove OSX testing as it leads to very slow build queues