Export package.
Merge branch 'master' of https://github.com/diverse-project/tools.git

Conflicts:
	commons-eclipse/fr.inria.diverse.commons.provisionner4eclipse/META-INF/MANIFEST.MF