Yet more Python 3 stuff
Fix regression in educe.util.mk_interesting
Adapt the pdtb-util tmp command to count multisententials