Also create coq/ide in configure
Merge pull request #500 from JasonGross/configure-hoqide

Also create coq/ide in configure