envsetup.sh : update mmrebase to fit our gerrit server