pushed prooftree changes

[Hendrik Tews <hendrik@askra.de>]

Hi,

I imported the new upstream version and updated the packaging for
prooftree. The new upstream contains a few new features and makes
prooftree ready for Coq 8.5.

Could somebody have a look, comment and/or upload?

Thanks,

Hendrik