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

Job	Run time
Upload debug artifacts (nightly-latest)	6m 7s
Upload debug artifacts (default)	5m 38s
Upload debug artifacts (linked)	5m 35s
Upload debug artifacts (stable-v2.20.3)	5m 41s
Download and check debug artifacts	5s
	23m 6s

Provide feedback