[PATCH v3 3/7] scripts/gen_compile_commands.py: fix docstring