update some submodules
remove clang plugin settings
add coq ide settings
update env variables