Implement Java's CharSequence over very large text files for use with (among other) regexes