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

Job	Run time
Ruby analysis (macos-latest, nightly-latest)	54s
Ruby analysis (ubuntu-latest, default)	45s
Ruby analysis (macos-latest, default)	57s
Ruby analysis (ubuntu-latest, linked)	52s
Ruby analysis (ubuntu-latest, nightly-latest)	48s
Ruby analysis (macos-latest, linked)	58s
	5m 14s

Provide feedback