HTML tag highlight add on built on top of xml-fold

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