[plt-scheme] `make install' and DESTDIR

Eli Barzilay wrote:
> The problem is that you'll need many such options -- for each kind of
> directory (collects, include, lib, doc, etc).

For my packaging purposes, at least, a root directory would suffice, e.g.
/usr/local/lib/plt, as it doesn't matter to me what else is under there.