make better use of GNUInstallDirs

This pull request improves the installation directory handling, particularly for the HTML documentation. As of now, it installs into `/usr/share/man/man4`. HTML pages however belong in `/usr/share/doc/project-name/`.