Update developer_setup.md