Export/Import formats

[o-d]

Formats are to be able to export/import as JSON text, to transfer formats to another machine or user profile.

[o-d]

Fixed in export_import branch.