A "mini fork" of OpenERP Server