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

Job	Run time
Ruby analysis (ubuntu-latest, default)	54s
Ruby analysis (ubuntu-latest, linked)	36s
Ruby analysis (macos-latest, nightly-latest)	45s
Ruby analysis (macos-latest, default)	1m 16s
Ruby analysis (macos-latest, linked)	1m 12s
Ruby analysis (ubuntu-latest, nightly-latest)	51s
	5m 34s

Provide feedback