Export and import settings

Export saves this server's settings as a JSON file with role and channel IDs but no member data. Import checks the file, asks you to map IDs of another server to this one, shows the effective changes and applies them only after you confirm.