git-gui: Use proper Windows shortcuts instead of bat files