workbench: Add MySQL client.

There are some differences between the MariaDB client (fron the Debian
repos) and the MySQL client (from the Oracle repo).