docs: add install-dev-env.sh comment re use of --dev-env-version command line option
docs: add install-dev-env.sh comment re use of --dev-env-version command line option

simonsdave/dev-env,simonsdave/dev-env,simonsdave/dev-env