Removed unused develop_server script.