pgAdmin III commit: Added the documentation for the "External formattin

Added the documentation for the "External formatting utility" in the
Query Editor, and related change in the Options dialog.

Also, updated the options dialog screenshots with the latest icon
changes.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=61635091647f667478778c6e9bd66cd00a179e93
Author: Susan Douglas <susan.douglas@enterprisedb.com>

Modified Files
--------------
docs/en_US/images/options-binary_paths.png      | Bin 31598 -> 33124 bytes
docs/en_US/images/options-colours.png           | Bin 35428 -> 36426 bytes
docs/en_US/images/options-database_designer.png | Bin 22563 -> 27177 bytes
docs/en_US/images/options-display.png           | Bin 33091 -> 34709 bytes
docs/en_US/images/options-favourites.png        | Bin 24549 -> 29007 bytes
docs/en_US/images/options-guru_hints.png        | Bin 23239 -> 28313 bytes
docs/en_US/images/options-help_paths.png        | Bin 27526 -> 31864 bytes
docs/en_US/images/options-history_file.png      | Bin 26882 -> 30669 bytes
docs/en_US/images/options-logging.png           | Bin 30323 -> 33144 bytes
docs/en_US/images/options-macros.png            | Bin 24283 -> 28687 bytes
docs/en_US/images/options-properties.png        | Bin 22389 -> 27568 bytes
docs/en_US/images/options-query_editor.png      | Bin 29449 -> 34412 bytes
docs/en_US/images/options-query_file.png        | Bin 25121 -> 29397 bytes
docs/en_US/images/options-results_grid.png      | Bin 26304 -> 31505 bytes
docs/en_US/images/options-server_status.png     | Bin 25171 -> 29264 bytes
docs/en_US/images/options-ui_miscellaneous.png  | Bin 29805 -> 32619 bytes
docs/en_US/images/options-user_interface.png    | Bin 23330 -> 27748 bytes
docs/en_US/images/options.png                   | Bin 21101 -> 34643 bytes
docs/en_US/options-query_tool.rst               |  11 +++++++++++
19 files changed, 11 insertions(+)