Remove an outdated section

could you instead do a git clone and init it locally? makes it easier to develop...  could also add the opam pin to mirage-dev so it works out of the box (the image is rebuilt regularly)