A utility for manipulating ini files