patterns now have a symbol name (LaTeX name) and a regexp name.
The reason is that different languages use different regexps for the same glyph.
Also added some ERT tests, and fixed a bug in pretty-is-active-pattern discovered through the tests!