configure: minor typo
emacs: More informative lighter
Printtyp: short-paths stack overflow can still be triggered
vim: reintroduce 'merlin_split_method' option
locate: one can now prioritize mli over ml