Changes since 3.0-beta3:
- more inset / padding fixes, by @eranl (#1536, #1510, #1519, #1513)
- add Korean phonetic layout, by @Froingo (#1500)
- fix direction of word-left & word-right with RTL scripts, by @eranl (#1530, #979)
- recognize the he language code as Hebrew, by @eranl (#1529)
- fix theme in input method picker dialog (#1518)
- different font for titles, might fix #1413
- fix side padding for split keyboard (#1520)
- fix log being saved for very short timespan on some devices
- fix punctuation deleting characters in Korean (#1447)