Update highlightjs to support XML
More work on translator.