pgsql: Mark factorial operator, and postfix operators in general, as de

Mark factorial operator, and postfix operators in general, as deprecated.

Back-patch key parts of 4c5cf5431 and 6ca547cf7 into stable branches.
I didn't touch pg_description entries here, so it's purely a docs
change; and I didn't fool with any examples either.  The main point
is so that anyone who's wondering if factorial() exists in the stable
branches will be reassured.

Mark Dilger and John Naylor, with some adjustments by me

Discussion: https://postgr.es/m/BE2DF53D-251A-4E26-972F-930E523580E9@enterprisedb.com

Branch
------
REL9_5_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/cc8a71e93084487e2b7796483ef0b71c1ba79678

Modified Files
--------------
doc/src/sgml/func.sgml                | 19 +++++++++++++++++--
doc/src/sgml/ref/create_operator.sgml |  9 ++++++++-
2 files changed, 25 insertions(+), 3 deletions(-)