Adding an .exportARFF() function for exporting a dataframe to .arff