Better alternative for converting INI files into arrays in Python