Most of the instrumentation repository uses Kotlin for Gradle build files, we should migrate the leftovers for improved consistency.

Doing so would also allow to do the same for extension documentation in open-telemetry/opentelemetry.io#8264, which is currently being documented with Groovy syntax