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

Job	Run time
Split workflow (ubuntu-latest, linked)	1m 27s
Split workflow (ubuntu-latest, default)	1m 20s
Split workflow (macos-latest, default)	1m 17s
Split workflow (macos-latest, linked)	1m 23s
Split workflow (ubuntu-latest, nightly-latest)	1m 26s
Split workflow (macos-latest, nightly-latest)	1m 57s
	8m 50s

Provide feedback