Extend utils/dump-stl.pl to also write STL files