vim: more conservative synchronization heuristic

Hopefully less buggy!
vim: remove Counter from python code, no longer rely on python2.7+
configure: Use tput instead of hardcoded color constants