stdlib docs should have sketch-solve examples

[jtran]

Experimental modules don't allow example tests. But we should add them to sketch2 before release so that Zookeeper can use them.

Also, ideally other functions that use sketches, e.g. extrude(), should also have sketch-solve examples.