proverc: added --w and --failures
vimrc: when writing a .pm file, update this file's ctags