Update DEV-SETUP.md