BUG: need to support DESTDIR in toplevel Makefile


#1

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