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

Job	Run time
Upload debug artifacts (default)	7m 26s
Upload debug artifacts (nightly-latest)	5m 54s
Upload debug artifacts (stable-v2.20.3)	6m 29s
Upload debug artifacts (linked)	6m 4s
Download and check debug artifacts	7s
	26m 0s

Provide feedback