Re-add documentation for --no-readline option of psql, mistakenly removed a decade ago. Backpatch to release 7.4.