Propertize text instead of using overlays, so they are removed when the user does 'undo'

This has the _other_ annoying side effect that the hide/show of
existing hightlights will mark the buffer as changed.