Clean plate

Clean plate: every Compilers & proof tools ticket on the pwned.coffee rail is dealt with. The inspector's grade is still live at /grade/proof-tools.