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

Job	Run time
Upload debug artifacts (default)	5m 44s
Upload debug artifacts (stable-v2.20.3)	5m 57s
Upload debug artifacts (nightly-latest)	7m 11s
Upload debug artifacts (linked)	5m 34s
Download and check debug artifacts	10s
	24m 36s

Provide feedback