Drop support for < 5.3 from highlight_php()

...to use HTML5
Replace <tt> with <code>

The <tt>-tag doesn't exists anymore in HTML5