IdrisDoc test improvements, Haddock, and bug fix

This pull request includes:
* Additional Haddock added.
* Namespaces only containing private declarations are now correctly treated as empty.
* Added a test to verify that only public and abstract namespace declarations are documented.
* Improved other tests to be thorough and give better information on potential failure.