install-server.install: do not use the same port for jenkins and
puppetdb. Put jenkins on port 8282.