Merge pull request #50 from dizzzz/feature/fix-dist-war

repair dist-war target
Merge pull request #51 from dizzzz/feature/remove-replication

Removal of replication extension
Merge branch 'develop' of github.com:eXist-db/exist into develop