Specifically: 1. Factored out color exporting. 2. Switched floating point writing to use .format() with 6 digits of precision. The main gain here is that numbers like 1.0 don't print with a bunch of useless trailing zeros.
- Improved export time by quite a bit. - Added more fine-grained status updates during export so it doesn't feel like it's hanging.
