mocha_exporter_mappings

Exporters representation name mappings for Mocha.

This is a mapping of representation names to exporter ids as the representation name has limits both in how it is now displayed in the UI and how it is stored in the project - it is a string without spaces and special characters. It must be updated now and then to keep it in sync with the actual Mocha exporting capabilities.