Rename ConfigFile to INIFile and remove outdated comments

This renames our ConfigFile class to INIFile and removes outdated comments which claim a connection between (the now called) INIFile and ConfigManager when in reality where is (it seems not even was in the past) one. INIFile should make much more clear that this class is specifically targetted at the INI file format.