pom: Set a deployment name when publishing to Maven Central

This will make it easier to identify each release on the Central Portal
"Deployments" page.

Author: bertrand-lorentz

pom.xml

@@ -411,6 +411,8 @@
             <configuration>
               <publishingServerId>central</publishingServerId>
               <autoPublish>true</autoPublish>
+              <!-- Name displayed on the Central Portal "Deployments" page -->
+              <deploymentName>${project.artifactId} ${project.version}</deploymentName>
             </configuration>
           </plugin>
         </plugins>