(merge 3.2) Issue #12423: Fix os.abort() documentation

The Python signal handler for SIGABRT is not called on os.abort() (only if the
signal is raised manually or sent by another process). Patch by Kamil Kisiel.

diff --cc Doc/ACKS.txt
Simple merge

diff --cc Doc/library/os.rst
Simple merge