add <pre> block to the tools

This makes the names of the tools stand out from the rest of the text.