Add support for binary export

[buu342]

See title. In order to make it less of a PITA to implement, I would recommend writing the binary file as a custom format, and then generating a static display list during the initialization step.