pypy3 (new formula)

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

Fixes #30334.
Pip is at 1.5.6 now.