Add gen-12great, to generate a great dodecahedron.