Use maven wrapper and batch-mode in GitHub Actions

[filiphr]

I noticed that some of the GitHub actions are using mvn and not ./mvnw the Maven Wrapper part of the project. Additionally I noticed that some commands are not using --batch-mode. This leads to builds which have:

Downloaded from central-portal-snapshots: https://central.sonatype.com/repository/maven-snapshots/io/modelcontextprotocol/sdk/mcp-bom/0.11.0-SNAPSHOT/mcp-bom-0.11.0-20250716.113131-38.pom (2.1 kB at 8.4 kB/s)
Downloading from central: https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-utils/1.1/plexus-utils-1.1.jar
Progress (1): 4.1/169 kB
Progress (1): 8.2/169 kB
Progress (1): 12/169 kB 
Progress (1): 16/169 kB
Progress (1): 20/169 kB

The default "CI/CD build" already contains --batch-mode. However, some other ones such as the "Documentation Upload" or more importantly the "PR Check" did not, which make them way to noisy when you want to see what is happening. I would even argue that for "PR Check" the --no-transfer-progress could be used, in which case the

[INFO] Downloading from maven-central: https://repo.maven.apache.org/maven2/org/jetbrains/kotlin/kotlin-bom/1.9.25/kotlin-bom-1.9.25.pom
[INFO] Downloaded from maven-central: https://repo.maven.apache.org/maven2/org/jetbrains/kotlin/kotlin-bom/1.9.25/kotlin-bom-1.9.25.pom (9.1 kB at 326 kB/s)

would not be present. Entirely up to you if you prefer to go with the --no-transfer-progress