Updated devel-env README.