pmd-eclipse: update release howto, remove jgit timestamp provider
* the jgit timestamp provider wasn't of much help: For releases
we set the version manually anyway. While developing it's confusing
if you forget to commit locally first and build right away.