Add a small tool for making logs from checkfiles.

Useful because the context in checkfiles makes them easier to edit
than plain logfiles are.

tests/decheck

@@ -0,0 +1,3 @@
+#!/bin/sh
+# Turn a non-oldstyle checkfile on stdin into an equivalent log on stdout.
+sed -n -e '/> /s///p'