Fixed typo
IdrisDoc now merges documentation more robustly using less code.
Merge pull request #1112 from PhilipRasmussen/idrisdoc

IdrisDoc cleanups and Haddock additions