new package prooftree

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

Hi,

I updated the prooftree package in the DOM repository at
http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
It contains now the latest version and has correct dependencies
on coq and proofgeneral. I tested it in unstable. It should also
compile and work with OCaml 4, but I did not test that, because
liblablgtk2-ocaml-dev is not available in experimental.

Comments are welcome. I would of course be happy if I could find
a sponsor for prooftree.

Bye,

Hendrik