doc: hint about GIT_DEBUGGER in CodingGuidelines