PHP print_r with <pre></pre> tags around it