Documentation: git submodule: add missing options to synopsis