redesign gui as gtk.builder, improve ctrl-c, update commandline, misc improvements