plugin: remove number.vim since its a plain vim 4.7 feature
vimrc: map F3 -> toggle line numbers