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

Also create coq/ide in configure
add more coq/ symlinks to .gitignore
trunc_iff_isequiv_truncation via modalities
wrap funext into modalities to make coercions work