Parsing INI Files with Pure Bash