Provide option to skip the <pre> wrapper

In my opinion it would be preferable if the <pre> wrapper wasn't produced by the formatter at all, as it is very simple to add on your own, and needlessly limits the use of the built-in HTML formatter. However, if you don't want to remove it, I'm hoping you will consider this patch that at least makes it possible to configure it away.