Util: fix user_config() to skip missing config files.

Otherwise, git exporting can fail because the config reading
will throw an exception.