edit vimrc: map <F12> to run ctags