Update vega-lite spec for verification dashboard

[frazane]

• fixes the tick labels of the x (lead time) axis which were overlapping
• adds interactivity: one can now zoom and move the x axis to focus on specific ranges of the lead time, and the range of the y axis will adapt to the data in each plot automatically
• (extra) formatting

[jonasbhend]

@frazane can we reduce this to be just about the vega-lite spec? I think this is fairly minimal and should be able to merge instantly. Please let me know if you want me to have a go (I'd just cherry-pick 866434e on top of main).

[frazane]

@frazane can we reduce this to be just about the vega-lite spec? I think this is fairly minimal and should be able to merge instantly. Please let me know if you want me to have a go (I'd just cherry-pick 866434e on top of main).

@jonasbhend this is branched off #68. Once that is merged, changes compared to main will be minimal. This is also why it's still marked as draft, I am waiting for the other PR.

[jonasbhend]

I know, thanks. But this doesn't really depend on #68, right, so it could be decoupled (that being my point, but if we can get away without doing it by merging #68 first, all the better).