Avoid ClassCastExceptions in IniFileConfigDatabase.get(...).

Lacking a better tool to convert from String to the desired output type,
made it so it "manually" converts to the known types config options
are saved as.