Find all index entries that have both a reference to a page and "see".
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	equivalences.tex
Remove trailing % signs in indexing.

This occasionally causes a missing space in text. It is safer not
to use the % signs at all. They don't actually do anything useful.