Update dev-tools.md