MySQL Workbench DBDoc Python Plugin