A useful OpenSCAD library