Hacked up working copy of OPAM with scripts to build a PPA for Debian/Ubuntu