Python Module for Accessing and Modifying Configuration Data in INI files