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

Job	Run time
Upload debug artifacts (nightly-latest)	1m 38s
Upload debug artifacts (linked)	1m 19s
Upload debug artifacts (default)	1m 28s
Upload debug artifacts (stable-v2.20.3)	1m 31s
Download and check debug artifacts	1s
	5m 57s

Provide feedback