read termination problems in ARI format

see https://github.com/orgs/TermCOMP/discussions/83

parser should

• be written with atto-lisp library https://hackage.haskell.org/package/atto-lisp
• ultimately be moved to tpdb library https://hackage.haskell.org/package/tpdb