Allow documentation to be installed in a directory with customized name

Distributions have various conventions for the name of the class documentation; provide an option -DDOCDIR_NAME which can be set (by the package builder).