Add plugin for html5 syntax highlighting