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

Job	Run time
Upload debug artifacts (linked)	2m 12s
Upload debug artifacts (nightly-latest)	2m 10s
Upload debug artifacts (stable-v2.20.3)	2m 13s
Upload debug artifacts (default)	2m 13s
Download and check debug artifacts	1s
	8m 49s

Provide feedback