This program turns .obj files into a much smaller (mostly) equivalent format.