Beryl: A polyhedron solver designed to find embeddings of regular maps