Merge pull request #1404 from spechub/hets-server

Hets server
currently published version
allow to install hets-server-core together with hets-core