move stateToLTL from mopsy into FSA
executor can report current goal number
clean up resynthesis code, move to separate file that can be used as a mixin for executor
make executor print full tracebacks even when running as xmlrpc-server
have ltlparser properly handle one-line specs