Support Mirror.Product for Java records

[joroKr21]

With Java 17 records are mainstream so it would be nice to support generic derivation with shapeless.

[ScalaWilliam]

That indeed would be awesome.

[xuwei-k]

Maybe this issue can be closed without do anything in shapeless-3 if Scala 3 compiler implements following feature.

• scala.deriving.Mirror support JEP-395 and JPE-409 (sealed classes and records) lampepfl/dotty-feature-requests#210