(merge 3.2) Issue #12451: pydoc.synopsis() now reads the encoding cookie if

available, to read the Python script from the right encoding.

diff --cc Lib/pydoc.py
Simple merge

diff --cc Lib/test/test_pydoc.py
Simple merge

diff --cc Misc/NEWS
Simple merge