Add "fast" textprinter plugin.

Caveats: only dumps contents of a single (read) tap point, and currently only
works on 32-bit x86. It is fairly fast though.