What is an INI file? Here's how to create, open and edit an INI file