Stuff for creating .STL files for 3-D printing in Python.