example writing an STL file from a TopoDS_Shape

example writing an STL file from a TopoDS_Shape