Merge branch 'fix-rm_version'
Update README.md
Bumped version number to 3.1.0
add first version of release-script
Merge branch 'release-3.1.0'
[maven-release-plugin] prepare release 3.1.0
[maven-release-plugin] rollback the release of 3.1.0
[maven-release-plugin] prepare release choco-3.1.0
[maven-release-plugin] prepare for next development iteration
Merge branch 'release-3.1.0'
Merge branch 'master' of github.com:chocoteam/choco3
Merge branch 'release-3.1.0' into develop
Initializes CHANGES.md
Update doc
Merge branch 'hotfix-3.1.0.1'

Conflicts:
	README.md
Merge branch 'hotfix-3.1.0.1' into develop
Merge branch 'master' into develop
Merge branch 'develop' into feature-expsum
[EXP] explain PropSumEq
Merge branch 'feature-expsum' into develop