Updated inline comments to new style function documentation.
Removed accidently added file.
Merge pull request #1277 from jfdm/doc/libs

Doc/libs
Update version number to 0.9.13
Add --testpkg option + tests section in IPKG files

Add a new section to IPKG files called "tests". This section should be a
comma-separated list of fully qualified names of IO actions, the
sequence of which in some way test an Idris package.

When invoked as idris --testpkg IPKG, Idris will generate a module in a
temporary directory that imports every module from the package IPKG and
whose main function simply executes each specified test.

The intention is to keep test specifications as low-level as possible,
allowing user libraries to define a better mechanism on top of this.
Add test running to CHANGELOG