vimrc: modifies syntastic options