Added new commands for structured comment inserton.

+ `idris-insert-comment-heading` inserts at point comment headings.
+ `idris-insert-comment-heading-compact` inserts at point compact
   headings.
+ `idris-insert-module-doc-template` inserts a Haskell inpsired
   comment template at point.