update mysql workbench version