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.
Improved documentation.
Merge pull request #1670 from jfdm/fix/foc/pprint

Added documentation for the pprint command in the Idris REPL.