Raspberry Pi remote control with GPIO and GTK+