Added command palette run coq command