Comment out Valloric/YouCompleteMe and add Coq plugins