Installing the NERDTree plugin