Makefiles: proper handling of DESTDIR before PREFIX
Merge pull request #1459 from OCamlPro/1.1

Makefiles: proper handling of DESTDIR before PREFIX