Make agda-vim directly usable with pathogen.