Auxiliary tools (installation)

This page lists instructions about installing some tools that don't have a straight-foward installation process.