ini_file: add support for lists of options/values
Merge pull request #3226 from jpmens/ini_file2

ini_file: add support for lists of options/values