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

Job	Run time
Upload debug artifacts (linked)	5m 55s
Upload debug artifacts (stable-v2.20.3)	7m 0s
Upload debug artifacts (nightly-latest)	5m 25s
Upload debug artifacts (default)	5m 59s
Download and check debug artifacts	7s
	24m 26s

Provide feedback