STL file splitter and binary/ascii read/write library for Python