added meta_conv.1.1.3 for ocaml 4.01.0
treeprint.1.0.2 can be compiled in 4.01.0
Add Mirage 1.1.0 release

This consists of a series of fairly interlocked packages, so all the
constraints have been updated in one pull request.  With this release, all OPAM
package conflicts have been removed, so it's far easier to explicitly choose at
link time which packages should be linked.

* The `mirage-types` library now fetches the types directly from the
  `mirage/mirage` repository to reduce the number of separate git repositories we
  have to track.

* Several major libraries have also been functorized to eliminate the need to
  compile them separately with Unix and Xen.  Specifically,
  `mirage-tcpip-{unix/xen}` is now deprecated in favor of `tcpip`, as is
  `mirage-http-{unix/xen}` in favor of `mirage-http`.

* The block libraries have been refreshed to use `V1_LWT` interface, and are more
  efficient at random I/O (for VHD) and use larger request sizes (for the Xen
  block driver)

* The `xenctrl` package has been replaced with `xen-evtchn` and `xen-gnt`
  to continue the support for parallel package installation without conflicts.
vhd-tool: depend on OCaml 4.00.0+
xen-gnt: depend on OCaml 4.00.0+
update checksums for mirage-1.1.0 bugfix
fix mirage-http dependency to require the functorized tcpip
LLVM: disable shared and docs
Merge branch 'master' into mirage-1.1-release
Merge branch 'master' into mirage-1.1-release
Added the acgtk opam package
	new file:   packages/acgtk.1.0b/descr
	new file:   packages/acgtk.1.0b/opam
	new file:   packages/acgtk.1.0b/url
Changed the acgtk.1.0b under an acgtk directory to follow the opam convention
	new file:   acgtk/acgtk.1.0b/descr
	new file:   acgtk/acgtk.1.0b/opam
	new file:   acgtk/acgtk.1.0b/url
move the acgtk.1.0b directory to the right place
	deleted:    acgtk.1.0b/descr
	deleted:    acgtk.1.0b/opam
	deleted:    acgtk.1.0b/url
 Changes to be committed:
	modified:   packages/acgtk/acgtk.1.0b/url
update mirage 1.1.0 urls for slipped tag (re-release)
Fixing the opam file to deal with compilation with presinstalled ocaml
 Changes to be committed:
	new file:   bolt/bolt.1.4/descr
	new file:   bolt/bolt.1.4/files/opam.bolt.META.patch
	new file:   bolt/bolt.1.4/files/opam.patch
	new file:   bolt/bolt.1.4/opam
	new file:   bolt/bolt.1.4/url
Moved  the bolt packages under a single bolt directory
 Changes to be committed:
	deleted:    bolt.1.4/descr
	deleted:    bolt.1.4/files/opam.bolt.META.patch
	deleted:    bolt.1.4/files/opam.patch
	deleted:    bolt.1.4/opam
	deleted:    bolt.1.4/url
	renamed:    bolt.1.2/descr -> bolt/bolt.1.2/descr
	renamed:    bolt.1.2/files/opam.patch -> bolt/bolt.1.2/files/opam.patch
	renamed:    bolt.1.2/opam -> bolt/bolt.1.2/opam
	renamed:    bolt.1.2/url -> bolt/bolt.1.2/url
	renamed:    bolt.1.3/descr -> bolt/bolt.1.3/descr
	renamed:    bolt.1.3/files/opam.patch -> bolt/bolt.1.3/files/opam.patch
	renamed:    bolt.1.3/opam -> bolt/bolt.1.3/opam
	renamed:    bolt.1.3/url -> bolt/bolt.1.3/url
utop 1.11
	modified:   acgtk/acgtk.1.0b/descr
	modified:   acgtk/acgtk.1.0b/url
Merge pull request #1664 from diml/master

utop 1.11