Improved MySQL compatibility by supporting "use schema". Thanks a lot to Karl Pietrzak for the patch!

patch by BigMichi1

The JDBC escape syntax {ts 'value'} did not interpret the value as a timestamp. The same for {d 'value'} (for date) and {t 'value'} (for time). Thanks to Lukas Eder for reporting the issue.

The statement "shutdown defrag" now compresses the database (with the MVStore). The MVStore now automatically shrinks the file in the background if there is no read or write activity. This might be a bit too aggressive; feedback is welcome!

improve some method names, and make the call to convert ValueArray to a SearchRow just pass in a ValueArray, since it makes the call sites easier to read