Adding generated develop_server.sh.