Makefiles: handle DESTDIR

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

Makefiles: handle DESTDIR