wp plugin that add prettify code in posts (with shortcode)