change markdown parser from kramdown to redcarpet.

kramdown can parse math inside markdown, but it does not work quite well
with MathJax. The redcarpet just leave the math untouched, leave the
work completely to MathJax. Besides, change permalink slights, the
category is changed from blog to posts, thus more consistant with notes
in the future.
add TODOs