A utility for converting STL files between ASCII and binary encoding.