Server to gracefully exit on CTRL+C#745

forman wants to merge 3 commits intomainxcube-dev/xcube:mainfrom

forman-xxx-reg_server_signalsxcube-dev/xcube:forman-xxx-reg_server_signalsCopy head branch name to clipboard