Restore the full `make install` task

In order not to duplicate the documentation, this patch makes the
DOC_DIR variable overridable by environment variable, and changes the
default path *not* to include the version number.