vim: restore previous windows sizes
vim bugfix: opam
install: add ctrlp extensions