Import re2 source

Review 613 by @mlucy