Merge pull request
#1597 from minrk/while_eventloop...
Merge pull request
#1597 from minrk/while_eventloop
re-enter kernel.eventloop after catching SIGINT
This protects the kernel from exiting due to bugs failing to catch SIGINT properly in the eventloop integration functions, as described in
#1228. It does not fix those bugs, only reduces the severity of their consequences.