Derandomizer. Error if CSV headers are not unique

* util/derandui.py (DerandomizeGUI._addCsv): We cancel the CSV upload if we find
repeated headers.