Functions for parsing INI-style file natively in bash