import and export for user preferences (currently JSON file only)