Add CoqIDE plugin.
Remove plugin dir of llvm.