Added TextIndexfileWriter + improved options

- TextIndexFileWriter is lot faster and needs less memory than the WEKA implementation of the ARFF file writer. Write full index to disk --> 8 seconds and < 1GB RAM
- Added more command line options (enable/disable GZIP, choose output format)