Resolve "read termination problems in ARI format"

Closes #521 (closed)

plan: do this inside matchbox first,

publish as part of haskell-tpdb later (if we want to put that on hackage, need to refer to patched atto-lisp)