Rename patch_codeql.py to patch-codeql.py #95

Job	Run time
extensions (csharp)	2s
queries (cpp)	4s
extensions (java)	3s
library (cpp)	7s
queries (csharp)	16s
library_sources_extensions (csharp)	4s
library (csharp)	3s
queries (go)	5s
library (go)	2s
library_sources_extensions (java)	3s
queries (java)	3s
library (java)	4s
queries (javascript)	4s
library (javascript)	4s
queries (python)	4s
library (python)	8s
queries (ruby)	4s
library (ruby)	6s
	1m 26s

Provide feedback