New CTAN package: bussproofs