C# library for reading and writing INI files