ci: add vaadin-dev dependency to v25 profile

Author: javier-godoy

pom.xml

@@ -422,6 +422,11 @@
                     <version>5.0.0</version>
                     <scope>test</scope>
                 </dependency>
+                <dependency>
+                    <groupId>com.vaadin</groupId>
+                    <artifactId>vaadin-dev</artifactId>
+                    <optional>true</optional>
+                </dependency>
                 <dependency>
                     <groupId>jakarta.servlet</groupId>
                     <artifactId>jakarta.servlet-api</artifactId>