make createJTLVinput.writeLTLfile work well with LTLParser
Merge branch 'development' of github.com:LTLMoP/LTLMoP into gumbo
move stateToLTL from mopsy into FSA
executor can report current goal number
let gumbogui properly query goal, call resyn