New syntax for documentation comments

Implementation entailed removing documentation from the idris_implicits
field of IState, which is why so many files are touched.
Add new doc syntax to CHANGELOG
Add documentation in new format for various libs
Merge pull request #945 from david-christiansen/new-docs

New syntax for documentation comments