Deduplicate footnote entries, #4

Add a LaTex macro which adds the `footlabel` and `footref` commands.  If it's
the first time we see a footnote, we use the footlabel command; otherwise, use
the footref command.