Renaming switch --ignore-remote-changes to --overwrite-remote-changes

And introducing shortcut -orc for this switch. Docu updated as well.
Print notice when checking for remote changes.