URxvt: support vim modificators
Tmux: enable xterm-keys
Vim: use default coqIde mappings in coquille
Vim: support modificators in tmux