Replace xmp tag with pre tag

Since xmp is obsoleted in HTML5, let's use pre instead of xmp.
Also, this fixes the problem that '&lt;' and '&gt;' didn't work inside xmp tag.