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

Job	Run time
Ruby analysis (ubuntu-latest, default)	49s
Ruby analysis (ubuntu-latest, linked)	45s
Ruby analysis (macos-latest, linked)	1m 1s
Ruby analysis (ubuntu-latest, nightly-latest)	44s
Ruby analysis (macos-latest, nightly-latest)	44s
Ruby analysis (macos-latest, default)	51s
	4m 54s

Provide feedback