Make it easier to swap in a scalable reader-writer mutex.

Change-Id: I04837646dfb41c2b545af54312dac63f47473dd6
Reviewed-on: https://code-review.googlesource.com/c/re2/+/58430
Reviewed-by: Paul Wankadia <junyer@google.com>