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