Implemented all match(...) functions (for all Regex classes). Additionally fixex a bug in PushbackStringReader.available().