[PATCH v2 3/6] scripts/gen_compile_commands.py: fix docstring