Functionality: Reimplemented pretty_print_list(+List, +Indent) and pretty_print_list(+List)
so that it pretty-prints nested lists correctly, indenting each level by Indent spaces.

Documentation: Replaced /** ... */ comments by %% comments for PrologDoc and improved
documentation in some places.