gobi: added handling of interrupt signals, e.g. Ctrl-C