An INI file reader/writer