Simple regex

While this still adds no real support for regular expressions, at least it mentions what pattern is not a trivial regular expression, and it handles the very simple regular expression '\\' (i.e. the escaped backslash) so that the quite frequent ```path.replaceAll("\\", "/")``` (replacing DOS-style directory separators by POSIX-style ones) works.