HTML tag highlight add-on, build on top of xml-fold

This can't be merged as it is now. We have to discuss and change some of the code.