Added documentation for builtins. Rewrite tactics not documented.

Started to document the Idris standard library where I can. Hopefully, making some of the 'obvious' functions more obvious, and 'not so obvious functions' obvious e.g. `the`. I have started with Builtins. More will follow in dribs and drabs.