Give annotations to record field names that appear in updates.

Field names in selections were already annotated.

Closes #191
Tweak output-checking in src/TeX/theory_tests Holmakefile.

Previously, the check would only fail once; on subsequent calls to
Holmake, the test would succeed even though the files had not changed.
The trick is to make the final check a separate and .PHONY target.