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

Job	Run time
Upload debug artifacts (default)	6m 0s
Upload debug artifacts (stable-v2.20.3)	6m 8s
Upload debug artifacts (linked)	6m 1s
Upload debug artifacts (nightly-latest)	4m 34s
Download and check debug artifacts	1s
	22m 44s

Provide feedback