DBManager: Repair all tables after upgrade.

It seems some indices and similar may get broken by MySQL upgrades,
so REPAIR TABLE all local databases tables as a preventive measure.

Fixes [bug 6069].
Merge branch 'patches/bug6069' into devel

* patches/bug6069:
  DBManager: Repair all tables after upgrade.