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