[FIX] server: worker exit log should mention registry count to help admins size deployment settings
Merge branch '8.0' of https://github.com/odoo/odoo into 8.0-linux64