Teach coqdep not to look at HoTT on making stdlib

This silences the warnings about duplicated files.