Port to gtk3, fix hotkey issues, improve execution of programs

should fix #40

please test... especially hotkeys, but that's probably unrelated to gtk3 porting