CoqIDE: detachable message/error/jobs panes
CoqIDE: Errors page gets red if not empty