Convex hull solver

[manpages]

@fj128 says

“Turned out that the math involved is hard. Bite it and make a valley fold interpreter. When it's done I'll add the interactive solution thing, for manually solving problems.”

We need it to better understand generated submissions (we'll start generating proper submissions before 1 PM UTC, if all the current bugs are fixed).