[patch] Rename "prettyprint" to "prettyformat"

[Doug Evans]

On Mon, Jul 1, 2013 at 2:04 PM, Doug Evans <dje@google.com> wrote:
> Hi.
> This patch is basically an internal renaming to remove some of the ambiguity in
> "pretty printing".
>[...]
>         (_initialize_foo): Improve help text for "set print pretty" and
>         "set print arrays".

Heh.  s/foo/valprint/ of course.