Install from official apt repository

It's a neater way to install it, plus we get a "jenkins" user.