allow to install hets-server-core together with hets-core
avoid conflict with man page
Merge pull request #1407 from spechub/hets-server

Hets server