Add @lang tag to support prettifying other languages

google-code-prettify supports many languages, this change adds a @lang tag to specify the language and correctly highlight it

@example {@lang xml} <div class="test"></div>