Update Spot ltl2tgba backend to v2.9.5
Update Spot ltl2tgba backend to v2.9.5

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