git-gui: Use git diff --submodule when available