Change refs to external sources: moved to Dose 3.2-rc1 and Ocamlgraph 1.8.5
Remove obsolete patches
Hardcode FILE macros for dose 3.2
Hardcode IFDEF macros assuming false for dose 3.2
Update for cudf-0.7 and guard cudf patch execution
Fix ocamlgraph dep in Makefile
Add printer to dose compiled modules
Removed spurious dominator from dose compiled modules
Fix url for cudf 0.7
Fix dependency order in dose module list
Updated for dose 3.2 release candidate 2
Document OPAMUPGRADECRITERIA
Merge pull request #1336 from rdicosmo/dose-trunk

Update external dependencies to dose 3.2-rc1 and ocamlgraph 1.8.5
Makefiles: handle DESTDIR

Closes #1369
Merge pull request #1380 from OCamlPro/destdir

Makefiles: handle DESTDIR
Opam-admin make: don't build archives for dev packages
Merge pull request #1381 from OCamlPro/no-dev-archives

Opam-admin make: don't build archives for dev packages
Skip unneeded costly computation of transitive reduction

Gives a huge speedup on some trivial requests (1.49s -> 0.67s on my example, trying
to install an already installed package)

Ref: #1363
Merge pull request #1383 from OCamlPro/faster-better

Skip unneeded costly computation of transitive reduction
Cleanup formula handling

* Empty should, by construction, never appear within a non-empty formula
* Correct parens when printing