Update JENKINS_INSTALL_HOWTO.txt