Formatted blog post on extracting history

Includes content from #692 formatted as HTML and edited for style.
Maybe add:

> Briefly, that person need to use `git filter-branch` to extract the history of the lesson, with attention when the path of file change, and extract the history of the cheat sheet at `novice/ref`.