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

Job	Run time
Ruby analysis (ubuntu-latest, linked)	43s
Ruby analysis (macos-latest, linked)	47s
Ruby analysis (macos-latest, nightly-latest)	55s
Ruby analysis (ubuntu-latest, nightly-latest)	50s
Ruby analysis (ubuntu-latest, default)	49s
Ruby analysis (macos-latest, default)	47s
	4m 51s

Provide feedback