Also create coq/ide in configure