version: match Jenkins LTS releases.
jenkins: default to 8080 in plist.