Fix for double escaping of queries in the profiler

Sometimes the logged queries would be rendered with visible
HTML entities in the profiler, due to double encoding (You know,
&amp;gt; stuff). I could not find out why it was being escaped
twice, but I found an easy fix: since PHP 5.2.3 the htmlspecialchars
function had a double_encoding parameter that could be set
to false. Voilà!