The docs have moved

Hypercerts documentation now lives at docs.hypercerts.org.