Website: back burner improvements

[siddharth-krishna]

• benchmarks.py is currently showing all solver versions in the plot, should we show just the latest version? Alternatively, add solver version to tooltip
• home.py: clicking on a data point on the plot currently errors out because we removed the size from the benchmark name. Fix this by querying the metadata without the size in the name, and adding to it the information about the size (num vars, etc)
• Tooltips: show some metadata of each benchmark on hover
• Timeouts: can we use a different way to represent timeouts? X is confusing
• Raw Results page:
  • Find an alternative to the AG Grid plugin that is free #17
• Fix colors in dark mode

  In the compare solvers page, the line of the graph is hardly visible against the dark background, thing about changing one of the colors (I personally like dark backgrounds more, but I could imagine that light backgrounds are more perceived as more welcoming by most people). If it is easy to implement a switch for chaning the background from light to dark would be cool (but this is really nothing to prioritize)

• generally the pages are very much vertically oriented, perhaps think about wider screens and formats. in particular having figure side by side makes it easier to compare then above each other