Add in java module to allow for basic BDD-based LTLspec comparison for future regression testing
Update SLURP.
make all scripts in /dist executable
testExamples can now be passed .spec paths as command-line arguments to test only the specified projects
re-enable 'decompose' in firefighting/specinLTL.spec example.  This is a work-around pending specCompiler/mapProcessing refactoring.
make Executor print an INFO log message upon successful termination
Add patrol example for ltlworkshop.
Make ltlworkshop patrol spec non-trivial.
fix opening of github signup page in installer on OS X
remove _RRTControllerHelper, as it is no longer used
temporary workaround for wx tooltip bug; see http://trac.wxwidgets.org/ticket/15508
update dev install script to download dependencies (catUtils, etc.) automatically
remove tutorial .doc and .pdf from repo; this is now on the github wiki
remove a 10MB video file that has been in the repo from the very beginning...
add tip to ltlmop_github_setup about ssh-keygen asking for a location for your keys
in gitUtils, check if we have access to bash instead of just 'ls', since that's more representative of what we're going to need to use
add 'please wait, shutting down...' message to simgui