terminal: Rework applying prefs on Haiku

Add a name map for int32, rgb_color and font types.
terminal: rework ApplyDefaultTheme()

Use the maps instead of hardcoding.
terminal: Fix making theme from Haiku terminal settings

We don't handle the font yet.