[Monetdb-developers] [SQL] Header line change, support for warnings/info