remade idris.csv to remove DOS whitespace characters