Fix crash when focused tag is deleted. Fixes #538
Make DocumentStore.remove_tag_id() notify observers of document changes.

This wasn't done before because we thought we'd have lots and lots of
Documents. That was a premature optimization based on an incorrect assumption.