Docs/manual.texi:
  Added documentation about new pager and tee features in mysql
  client. Added an example about the vertical output.
client/mysql.cc:
  Small documentation changes.