Implement Java's CharSequence over very large text files; usable with regexes, or grappa