Add Ubuntu 13.04 nodes (#261)
Enable Ubuntu 13.04 jobs (#261)
Disable Ubuntu 12.10 nodes (#261)
Upgrade jenkins to latest LTS (1.509.2) and all plugins (#257)