add coqide