Got rid of many failwith "TODO"s.  Ocamlbuild dependency coverage back
to full.