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
update gumbogui to not load aut initially, and to handle case where no goal is being pursued