Update development_environment.tex