update vim & emacs plugins

emacs.el

@@ -1,6 +1,6 @@
 (require 'package)
 (add-to-list 'package-archives
-             '("melpa" . "http://melpa.milkbox.net/packages/") t)
+             '("melpa" . "http://melpa.org/packages/") t)
 (add-to-list 'package-archives
              '("marmalade" . "http://marmalade-repo.org/packages/") t)
 (package-initialize)

vimrc

@@ -5,6 +5,8 @@ call plug#begin('~/.vim/plugged')
 
 Plug 'tpope/vim-sensible'
 
+Plug 'ntpeters/vim-better-whitespace'
+
 Plug 'chrisbra/Recover.vim'
 
 Plug 'Valloric/YouCompleteMe', { 'do': './install.sh --clang-completer --system-libclang' }
@@ -81,6 +83,8 @@ Plug 'ekalinin/Dockerfile.vim'
 
 Plug 'digitaltoad/vim-jade'
 
+Plug 'jvoorhis/coq.vim'
+
 " vim-sleuth?
 
 call plug#end()