Use Korro for SQL custom database example #987
Description
Follow up of #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.