actuator value is set to bool instead of string
fix some old bugs in _skeletonMotionController
robert pointed out one additional problem in the skeleton motionControlHandler
correctly save the config file for calibration
do not initialize sensor or actuator when not needed
Update SLURP.
remove the old specEditor code that worked around frozen simulations on windows
fix flickering in SpecEditor text window due to excessive styling callbacks
allow calibration matrix in .config file to be a matrix() instead of an array()
in simGUI check the eventData type before check its value
Remove deprecated `with_safety_aut` option from specCompiler
remove unused imports in specEditor
move AsynchronousProcessThread to a new asyncProcesses module and remove wx dependency
add synthesizeAsync to SpecCompiler
make callbacks optional for async synthesis
make SpecEditor use async synthesis; now shows elapsed time and is user-abortable
corrected format of ltl created by fsa.stateToLTL to \!next(prop)
Merge pull request #56 from wongkaiweng/development

corrected format of ltl created by fsa.stateToLTL to \!next(prop)
update sphinx conf to properly import all modules during documentation build
Add dummy imports to Sphinx config so documentation can be compiled on ReadTheDocs.  Also partially updated the list of modules, and updated version/copyright information.