Simplified API readRawLine reads a single line and calling routine can decide when to read more; removed readRawLines
Added readRawLine API to interface to Mouth and also process pending tokens
recoded to use Gullet->readRawLine instead of Mouth->readRawLines, and more accurate simulation
enhanced the verbatim and comment tests for corner cases
added new verbatim.sty binding and test case
avoid git stash since it isn't needed and messes up timestamps; tweak formatting and messages
oversimplification bug was introduced; now is better