Update dev env instructions

Change-Id: I17b48e9ac55735827762347dc8c3f68811cf4861

DEVELOP.md

@@ -101,6 +101,7 @@ You can then use our regular Git and Gerrit workflow as detailed in [Submit chan
 After cloning the repo, run the setup script. It expects to run as a regular user account with sudo permissions.
 It installs Go, Minikube, Tilt and any other dependencies required for Wormhole development:
 
+    cd wormhole
     scripts/dev-setup.sh
 
 You then need to close and re-open your session to apply the new environment.

scripts/dev-setup.sh

@@ -63,7 +63,7 @@ GO=1.17.3
 . /etc/profile.d/local_go.sh
 
 # Install Docker and add ourselves to Docker group
-if [[ ! -d /var/lib/docker ]]; then
+if [[ ! -f /usr/bin/docker ]]; then
   TMP=$(mktemp -d)
   (
     cd "$TMP"
@@ -104,7 +104,7 @@ function use-namespace {
 
 export DOCKER_BUILDKIT=1
 
-alias start-recommended-minikube="minikube start --driver=docker --kubernetes-version=v1.22.3 --cpus=16 --memory=16G --disk-size=120g"
+alias start-recommended-minikube="minikube start --driver=docker --kubernetes-version=v1.22.3 --cpus=16 --memory=16G --disk-size=120g && kubectl config set-context --current --namespace=wormhole"
 EOF
 
 cat <<EOF