benchmark.html: prettify solver names in chart