[IMP] database manager: options on dump format
Merge branch 'master' of https://github.com/odoo/odoo into master-win32