Tools to set up a development environment on an Ubuntu machine