PHP: function pretty-print_r (ppr)