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

Job	Run time
Split workflow (macos-latest, nightly-latest)	1m 52s
Split workflow (ubuntu-latest, linked)	1m 24s
Split workflow (macos-latest, default)	1m 24s
Split workflow (ubuntu-latest, nightly-latest)	1m 14s
Split workflow (ubuntu-latest, default)	1m 16s
Split workflow (macos-latest, linked)	1m 47s
	8m 57s

Provide feedback