build: publish updated docs only for tagged releases

[Vlad Dumitrescu]

Publish help to erlide.github.io only when publishing a release on github. -- the operation must move from the maven build to Jenkinsfile.