pypy3 (new formula)

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

Fixes #30334.
SetupTools has a newer release