Use Korro for SQL custom database example

Follow up of https://github.com/Kotlin/dataframe/pull/986.

It has a lot of code in text that's not checked for correctness at the moment. If we cannot connect to the database, that's fine, we can still check the code compiles with Korro. This also makes it survive refactorings.