Allow for easy relocation during make install

Introduce standard make semantics of DESTDIR to install into a different
root. This is often used by packagers, so we're adding this convinients
to everyone's benefit!