Output STL files in binary encoding, since they are much smaller.