git-gui: add menu item to launch a bash shell on Windows.