* Factor out more common code from the jenkins scripts * Fix install_and_run path * Poke jenkins * Poke jenkins