Freeze tools version

Running make setup will upgrade all the tools we are using

This MR fixes the versions to the currently used ones.

Upgrading tools like a linter should be a deliberate choice and not a consequence of refreshing the development environment.