mysql-workbench & mysql-workbench-dev: update to 6.2.3