Added some documentation

 There is now a doc folder containing a standard vim helpfile for idris-vim