Update update_config.py to quit early in case of source file modification.

In that case, it prints out the diff so it can be applied on the source.
It also quits early if the diff tool returns non-zero.

Update some configuration diffs I had on my system