add <pre> block to the tools

This makes the names of the tools stand out from the rest of the text.
Merge pull request #15 from zmughal/gh-pages

add <pre> block to the tools