51-synaptics: remove speed calibration

Debian fixed their crap, so this is not needed.
.vim: add coq plugins