add ltlmop overview diagram for wiki