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

Job	Run time
Ruby analysis (macos-latest, default)	1m 4s
Ruby analysis (ubuntu-latest, linked)	46s
Ruby analysis (macos-latest, linked)	1m 2s
Ruby analysis (ubuntu-latest, nightly-latest)	44s
Ruby analysis (ubuntu-latest, default)	47s
Ruby analysis (macos-latest, nightly-latest)	1m 25s
	5m 48s

Provide feedback