get rid of the TGBA parser
The parser in
src/tgbaparse/ was implemented very early in the history of Spot as a quick way to input TGBA to perform tests. Its implementation and syntax is gross.
Now that Spot can read TGBA as HOA files, there is no reason to keep this parser around. We should update all our tests to read and write HOA instead, and get rid of the parser.
Unfortunately there is one public use of the old format: ltl3ba has an option to output its intermediate TGBA in this format, and we use it in the oneline
ltl2tgba.html interface. We should ask the
ltl3ba authors to upgrade to HOA. I know they plan to do it for
ltl3dra, and patches exists for
ltl2ba to output HOA, so they should not have a problem updating