Updating repose_jenkins to use the jenkins deb repo

As well as tweaking the version, so it's happier
Updated the module