remove redundant file
fix coq ide for latest coq