add <pre> block to the tools

This makes the names of the tools stand out from the rest of the text.

I also got rid of some whitespace.

Also, I didn't make this change, but for the UK version, you might want to change `s,behavior,behaviour,`. ;-)

Changes from:
![selection_362](https://cloud.githubusercontent.com/assets/94489/5517740/93bfbd14-88c1-11e4-890c-3da5acc0265b.png)
To:
![selection_363](https://cloud.githubusercontent.com/assets/94489/5517741/95d71f2a-88c1-11e4-898a-90241c00f273.png)