HTML escaped property values in hover tooltip.

Fixes [Spoofax#871](http://yellowgrass.org/issue/Spoofax/871) for the NaBL properties tooltip.