update tools/oqrev pointing to the new repo name
update tools/oqrev pointing to the new repo name


Former-commit-id: c214577660a93dafc4f3e05435cb213be4ec74fd
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine