MINOR add tags for Gradle build scans (#16923)

This adds three tags for the Gradle build scans: jenkins, github, and local. Adding these tags will allow us to more easily differentiate build scan statistics based on the origin of the build.

Reviewers: Chia-Ping Tsai <chia7712@gmail.com>

settings.gradle

@@ -33,6 +33,13 @@ develocity {
             // Alternatively, the build scan will provide the hostname for troubleshooting host-specific issues.
             ipAddresses { addresses -> addresses.collect { address -> "0.0.0.0"} }
         }
+        if (isJenkins) {
+            tag "jenkins"
+        } else if (isGithubActions) {
+            tag "github"
+        } else {
+            tag "local"
+        }
     }
 }