- add mysql-workbench-mariadb.patch
to fix compatibility with MariaDB,
removed not supported options,
added HAVE_CHARSET_... not used mariadb connector