[mysql-workbench/f17] update to 5.2.40 with separate mysql-utilities

[Remi Collet]

Summary of changes:

  4768b62... update to 5.2.40 with separate mysql-utilities (*)

(*) This commit already existed in another branch; no separate mail sent