Added instructions on how to do actual development, using the dev-proxy script