Update Spot LTL2TGBA to v2.9
Update Spot LTL2TGBA to v2.9

workcraft/workcraft,workcraft/workcraft,tuura/workcraft,workcraft/workcraft,danilovesky/workcraft,danilovesky/workcraft,tuura/workcraft,danilovesky/workcraft,workcraft/workcraft,tuura/workcraft,danilovesky/workcraft