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

Job	Run time
Upload debug artifacts (linked)	4m 57s
Upload debug artifacts (default)	8m 13s
Upload debug artifacts (nightly-latest)	6m 4s
Upload debug artifacts (stable-v2.20.3)	5m 47s
Download and check debug artifacts	1s
	25m 2s

Provide feedback