Set zip.name property on the published docs zip

The docs are currently being published under platform-docs. This
commit should cause them to be published under spring-io-platform
instead.