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

Job	Run time
Ruby analysis (ubuntu-latest, default)	50s
Ruby analysis (ubuntu-latest, linked)	48s
Ruby analysis (macos-latest, default)	59s
Ruby analysis (ubuntu-latest, nightly-latest)	53s
Ruby analysis (macos-latest, nightly-latest)	1m 18s
Ruby analysis (macos-latest, linked)	1m 3s
	5m 51s

Provide feedback