HoTT/HoTT — pull request #611 by JasonGross (2014-11-10 06:27:24+00:00)
Title: Some work on porting dpdgraph to the current Coq

I'm not sure where to get Projection.constant from. @mattam82, is there
something I need to `open`?

Also, when I `make file-dep-graphs/hott-lib.dpd`, I get

```bash
coqmktop -opt -o coqthmdep searchdepend.cmx graphdepend.cmx
File "/tmp/coqmain9fb047.ml", line 1:
Error: Cannot find file threads.cmxa
```

Any ideas how to fix this?