Set version to 1.8.4
Merge branch 'release/gitools-1.8.4' into develop
Next iteration version 1.9.0-SNAPSHOT
Fix howto-release to push the tag