Add `github-codeql-tools` repository property for tools input #3793

Job	Run time
Upload debug artifacts (nightly-latest)	4m 24s
Upload debug artifacts (stable-v2.20.3)	4m 38s
Upload debug artifacts (linked)	3m 43s
Upload debug artifacts (default)	3m 30s
Download and check debug artifacts	1s
	16m 16s

Provide feedback