Update dev-setup.md