provide details on pathogen installation

[dimpase]

the minimal pathogen setup

execute pathogen#infect()
syntax on
filetype plugin indent on

does not work with coquille; specifically, :CoqLaunch does not work (vim 7.4.52 on Ubuntu 14.04). What it should expand to, i.e. :call coquille#Launch(), does do something, but any attempt to type in the interaction window results in:

 Error detected while processing InsertEnter Auto commands for "<buffer=1>":
 Traceback (most recent call last):

[renovatorruler]

Same problem here