New command-line option -k/--get-config prints the value of a config key

New command-line option -k/--get-config prints the value of a config key

We print exactly the value of the configuration setting, rather
than a full item pair "(origin) key = value" as --print-config does.

This is useful for scripting. For example, $(ccache -k cache_dir)
gives the cache directory path.