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

Job	Run time
Upload debug artifacts (nightly-latest)	6m 5s
Upload debug artifacts (stable-v2.20.3)	5m 52s
Upload debug artifacts (linked)	6m 19s
Upload debug artifacts (default)	6m 20s
Download and check debug artifacts	6s
	24m 42s

Provide feedback