pregexp: add Dorai Sitaram's regular expression code