tools/plugin_replacement.py: Default to current branch instead of master.

Jenkins uses git in detached head which left the master outdated. This
broke plugin update detection. Renamed branch parameter to rev and defaulted
it to None which causes the git module to use the current branch.