Add github-codeql-tools repository property for tools input
#3766
+394
−102
github-codeql-tools repository property for tools input
#3766