Clear our highlights when we're deactivated.

Otherwise they'll linger in the buffer, and when the buffer is revisited, the
new CodexMode created at that time won't know anything about them.