TeX reader: Use parsec3 interface.
TeX reader:  Added <??>, improved oneOfCommands, oneOfStrings.

p <??> "string" will attempt the parser p, and if it fails,
return to the starting position before generating the
"expecting string" message.

oneOfStrings (and hence oneOfCommands) now uses this to
improve error messages.