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

Job	Run time
Ruby analysis (macos-latest, nightly-latest)	1m 3s
Ruby analysis (ubuntu-latest, linked)	42s
Ruby analysis (macos-latest, linked)	1m 12s
Ruby analysis (macos-latest, default)	1m 6s
Ruby analysis (ubuntu-latest, default)	49s
Ruby analysis (ubuntu-latest, nightly-latest)	43s
	5m 35s

Provide feedback