[hibernate-dev] Update Jenkins plugins

[Davide D'Alto]

Hi,
there are some plugins to upgrade on Jenkins and it seems they have
some non trivial changes.

I'll do that on Thursday and hopefully it won't cause too many issues.

Thanks,
Davideb