Output and input almost done.

The exporter creates buffers and exports them into binary files. The
importer works for static models and reads them way faster than the old
one.