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?
Attempted fix at missing case
Magic keyword is apparently -thread
Have travis complain if break post-scripts
Die if coqthmdep fails to build
Merge pull request #611 from JasonGross/update-dpdgraph

Mergins as this is not in the core.
Some work on porting dpdgraph to the current Coq