[Bug 1599011] Review Request: drabt - Proof checker for the DRAT proof format