Puppet scripts to install tools for a development environment on a new server