add distributionManagement section
remove version when generating zip
chang the version back
Update pom.xml
Merge pull request #150 from runtimeverification/distributionManagement

add distributionManagement section