New syntax for documentation comments

Implementation entailed removing documentation from the idris_implicits
field of IState, which is why so many files are touched.