Issue #21118: Optimize also str.translate() for ASCII => ASCII deletion
Issue #21118: str.translate() now raises a ValueError, not a TypeError, if the
replacement character is bigger than U+10ffff code point.
minor docfix (reported at docs@python.org) trace.py argument is --count not --counts
merge from 3.3
merge from 3.4