v0.3.1

Changelog

• 0e40474 Restyle the website and the plot page: Archivo and Plex Mono, looser headings, a shorter hero, flat charts with round axis ticks, a line saying whether the two clocks agree
• ccfbb20 mcpserver test: skip when either of the two runs was limited by the generator