Make "Tools" section of README render nicer.