pgsql: Recode non-ASCII characters in source to UTF-8

Recode non-ASCII characters in source to UTF-8

For consistency, have all non-ASCII characters from contributors'
names in the source be in UTF-8. But remove some other more
gratuitous uses of non-ASCII characters.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/ba4cacf0756f71e175d25bac78834715a353e64e

Modified Files
--------------
contrib/README | 2 +-
contrib/spi/timetravel.c | 2 +-
src/backend/port/dynloader/darwin.c | 2 +-
src/backend/storage/lmgr/README-SSI | 6 +++---
src/backend/storage/lmgr/predicate.c | 4 ++--
5 files changed, 8 insertions(+), 8 deletions(-)