add mysql-workbench and mysql-workbench-dev