packaging: Bring uv lock file up to date when tagging a new version

packaging/push-new-version

@@ -18,6 +18,7 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then
     git push --delete origin $CURRENT_VERSION
 else
     git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
+    uv lock
     git commit --all --message="Update version to $NEW_VERSION"
 fi
 git tag $NEW_VERSION