Facility to set charcter encoding of Export CSV

You can now set the character encoding of exported CSV files from DROID. By default it uses UTF-8, it also allows you to visually choose the encoding in the Export Dialog.