[gtk] Patch to handle typing in dead keys on US-International keyboard.

https://bugzilla.xamarin.com/show_bug.cgi?id=4205