synchronized access to currentlyPushing flag to avoid concurrency
added some additional defense to the force/lazy git push actions
forcing git push when exiting + exit procedure is properly executed when closing the main window
Merge branch 'master' of github.com:oster/JLM