Add github-codeql-tools repository property for tools input
#3766
+370
−96
github-codeql-tools repository property for tools input
#3766