Added info for using the devel-envs.sh script.
Added info for using the devel-envs.sh script.

sting47/pocl,0charleschen0/pocl,franz/pocl,franz/pocl,hugwijst/pocl,vkorhonen/pocl,dsandersimgtec/pocl,franz/pocl,maZZZu/pocl,pocl/pocl,pavanky/pocl,maZZZu/pocl,dsandersimgtec/pocl,jrprice/pocl,pocl/pocl,maZZZu/pocl,sting47/pocl,dsandersimgtec/pocl,jrprice/pocl,vkorhonen/pocl,Oblomov/pocl,dsandersimgtec/pocl,0charleschen0/pocl,sting47/pocl,pocl/pocl,pocl/pocl,hugwijst/pocl,pavanky/pocl,0charleschen0/pocl,hugwijst/pocl,Oblomov/pocl,rjodin/pocl,hugwijst/pocl,sting47/pocl,0charleschen0/pocl,vkorhonen/pocl,franz/pocl,franz/pocl,Oblomov/pocl,pavanky/pocl,jrprice/pocl,vkorhonen/pocl,hugwijst/pocl,pocl/pocl,rjodin/pocl,rjodin/pocl,pavanky/pocl,rjodin/pocl,Oblomov/pocl,jrprice/pocl,sting47/pocl,Oblomov/pocl,maZZZu/pocl