Update INSTALL_DEVSERVER.md