weka: added options processing to CVFDT.