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

Job	Run time
Ruby analysis (macos-latest, default)	1m 16s
Ruby analysis (ubuntu-latest, nightly-latest)	44s
Ruby analysis (ubuntu-latest, linked)	48s
Ruby analysis (macos-latest, nightly-latest)	1m 10s
Ruby analysis (macos-latest, linked)	55s
Ruby analysis (ubuntu-latest, default)	38s
	5m 31s

Provide feedback