Benchopt benchmark results

To publish the results of a benchmark on https://benchopt.github.io/results/, visit the documentation at https://benchopt.github.io/publish.html.