Adds theme export feature, also fixes file import/export [#923 state:resolved]