Jenkins updates

[Pierre-Yves Chibon]

Hi all,

I have spent some time updating our jenkins server today.
- we are now running the latest version
- we have a brand new F19 builder (which builds fedocal fine)
- all plugins have been updated to their latest versions (although some of them
  seems to not agree that they are)

The F19 builder seems to have a problem, some package conflicting when trying to
install the list of packages we ask. I have not looked into this yet.

Let me know if you see any problem,
Pierre