add distribution section for the reporting.
Merge branch 'master' of https://github.com/geonetwork/core-geoserver

Conflicts:
	pom.xml