Update idris-make-lemma to insert lemma above doc string of current function.

Update idris-make-lemma to insert lemma above doc string of current function. #275