Some tools and scripts for getting set up with GridPP.