update create-dev-env.sh, change one small character

in line 470, changed "curl -O" to "curl -OL" such that the scripts runs without problems.