Customize distribution and installation

doxygen creates documentation at make dist, copies it to tarball and
extracts it at make install. Thus user doens't need to have (specific
version) of doxygen.