mysql-workbench: remove patch unneeded with libmariadbclient >= 10.0.14

MariaDB 10.0.14 fixed mysql_options4() in libmariadbclient.
https://mariadb.atlassian.net/browse/MDEV-6638