[server-ce] work around npm bug for uninstalling devDependencies (#27512)

Co-authored-by: Brian Gough <brian.gough@overleaf.com>
GitOrigin-RevId: da4c878ae4515672aa67ea77d2d54a08a149e49b

server-ce/genScript.js

@@ -24,7 +24,7 @@ switch (process.argv.pop()) {
           // run webpack
           console.log('npm run webpack:production')
           // uninstall webpack and frontend dependencies
-          console.log('npm install --omit=dev')
+          console.log('npm prune --omit=dev')
 
           // Wait for pug precompile to finish
           console.log('wait "$pug_precompile"')