Don't require no_proxy to be set in devtest_*

If no_proxy isn't set don't halt, just set it and continue.  Same
pattern as in devtest_seed.sh

Change-Id: I35ee0163ba57d17cae6180c3893d4f7c1d6352ed