Development tools

Useful dev tools and their setup on different platforms.

linux macos windows tools