A very simple INI file parser (using Parsec)