Manpages of prooftree in Debian stretch