abbr.py (Parser::scan_re): Improve regexp.