prooftree is marked for autoremoval from testing

[Debian testing autoremoval watch]

prooftree 0.13-1 is marked for autoremoval from testing on 2017-12-13

It (build-)depends on packages with these RC bugs:
880285: proofgeneral: FTBFS: build-dependency not installable: emacs24