git: warn about checkout submodules by default

Javier Jardónrequested to merge
jjardon/doc_git_submodules into master

See #783

Edited by Javier Jardón

Merge request reports