Hyphenate tool name on index page

It’s long enough that it doesn’t fit on some mobile devices (in vertical
mode), so let’s allow the browser to hyphenate it.