pom.xml: updated/replaced <distributionManagement>

pom.xml: updated/replaced <distributionManagement> to point and to use/upload into the new maven repo; (the url should be really an env var, to avoid changes like this one ONLY because URL/hostname/etc changed.