Update documentation
[maven-release-plugin] prepare release dspace-4.0
[maven-release-plugin] prepare for next development iteration
Update master branch to next major release