make showing of bitvector reps in speceditor optional via gui
enforce minimum sash size in speceditor
print ready message in simgui at beginning
hide slurp dialogue tab in simgui if parser is not slurp
hide slurp traceback in analysis dialogue if parser is not slurp
changed importing matplotlib as an option. Still needed to test it out
normalize all linebreaks to windows format;
tested RRTController.py with optional import matplotlib on windows (Successful)
updated loadConfigFile. added saveConfig function to each config obj, but not used yet
save all configs with save funtion of config object
remove old saveConfigFile function
when save a config, catch the error that some handlers of the robot in a config is None
only print traceback on handler load error if not plain ImportError
don't try to colorize logging output if not outputting to a terminal
disable core-finding in mopsy if picosat not found
enable buffering on AsynchronousProcessThread to avoid data loss in fast output streams
consider a configObject complete even if region tags missing
make get_ltlmop_root() a separate function so it can be called without a Project instance
change execute.py to use xmlrpc for communication
make dummysensorhandler exit cleanly if executor crashes
let simgui close even if executor has crashed