Vim: coq syntax and indent
Vim: coquille
URxvt: support vim modificators
Tmux: enable xterm-keys
Vim: use default coqIde mappings in coquille

Conflicts:
	configs/vim/vimrc
Vim: support modificators in tmux
URxvt: url-select, keyboard-select

Conflicts:
	configs/X/Xdefaults.template