insertpre plugin: now wraps code in <pre><code> elements, instead of just <pre>