Added TextIndexFileReader

- TextIndexFileReader reads the custom format we implemented, its a lot faster and requires less memory than ArffIndexFileReader
- Added some more flexibility when reading the index file, e.g., detection if the file is an ARFF or text file and if it is GZ compressed or not