Update hardcoded upgrade tool to 23.5.17 (#4312)

Co-authored-by: Zhe Sun <[email protected]>

Author: vaadin-bot

frontend/demo/upgrade-tool/upgrade-tool.ts

@@ -23,7 +23,7 @@ const VAADIN_VERSIONS: Record<string, string> = {
   20: '20.0.8',
   21: '21.0.9',
   22: '22.0.28',
-  23: '23.5.16',
+  23: '23.5.17',
 };
 
 const SIMPLE_VERSIONS = Object.keys(VAADIN_VERSIONS);