Better INI parser for Python
