Implement stl.WriteBinary; rename stl.Write to stl.WriteASCII