CMake: Use DESTDIR for helptags generation.
Merge #1110 'CMake: Use DESTDIR for helptags generation.'