Use INI file format for the configuration file

This makes the configuration file independent from the structure
of the menu, which is a requirement for dynamically-built menus.
Add a field in EntryInt and EntryList to specify the variable name

The variable name being the key used for this entry in the
configuration file.
Update .gitignore to omit the libcmenu.so.* files