BUG: need to support DESTDIR in toplevel Makefile

Someone on IRC complainted that we didn’t support DESTDIR.
Adding this makes it easier for package builders.