Improve pre-push hook

When the tag and version number do not match, ask human to choose which
one to use to avoid silly mistake.