erp5_code_mirror: Fix warning/error messages div not being displayed in maximize mode.
erp5_code_mirror: Fix layout of warnings/errors div to make it consistent with maximize info div.
erp5_code_mirror: Increase animation time for useability sake.
erp5_code_mirror: Refresh Component history revisions (used for merge mode) when saving with CTRL+s.