Fix option parsing for compare_repositories.py
Fix handling of files not in the remote repository