Added documentation for the pprint command in the Idris REPL.

The contributer of pprint forgot to add documentation for its use within idris.
Suitable documentation has been added.