some documentation love

* Fixed a lot of English errors.
* Fixed a lot of Markdown formatting issues.
* ktap was invented in the year 2012, not 2002.