pushed prooftree changes

[Hendrik Tews]

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