Data format implementation for "ini files", used on Windows, Python