Improvements to VIM

- Implementation of short help (with :PHelp)
- Updated doc
- Autocompletion now knows if label was already provided at the beginning
  of the line and does not suggest it anymore in case
- Compilation of the vim plugin is more similar to compilation
  of the user doc
- Compilation of the vim plugin is made when doing "make install"
  from root dir.