[FIX] Add lost files, before they are lost again. Do not name
    directories in odoo modules 'lib' or they will be shredded by
    the default .gitignore!