Java/Kotlin Spring Boot starter

The generated Java/Kotlin SDKs can now include an automatically generated Spring Boot starter package to simplify configuration for users who use Spring Boot.

This can be enabled by setting targets.{java,kotlin}.publish.spring_boot_starter to true in the Stainless config.