Updated the dev environment document