git-url-rewrite: add --file option