Add license info.
Disable some gecode warnings.