added 008_install_dev_env.sh to jenkins/{quick/left/right}