Configuration files

Do not merge - this is a preliminary PR for discussion.

As of now, incorporates Dolphin's INI code for a configuration system. So far, handles for input controls have been added, but they haven't been hooked yet into the parts of code that use them. 
No global state for this, please.