pypy3 (new formula)

Add formula for PyPy3-2.3.1, the first stable release of PyPy3.

Fixes #30334.