Teach coqdep not to look at HoTT on making stdlib

This silences the warnings about duplicated files.
Merge pull request #530 from JasonGross/fix-warnings

Teach coqdep not to look at HoTT on making stdlib