Make Haddock able to parse Idris's source
Haddock for completion module
Reformat existing comments for Haddock and add Haddock comments
Merge pull request #197 from david-christiansen/haddock

Get Idris's implementation to generate some Haddock