resource editor: skeleton for keyboard layout properties widget

Provides widgets to set the various properties of the keyboard layout
itself and its keys. Adapts whether currently a key is selected and to
the type of the key. Actual editing function is still missing.