Markdown parser and equation marker update.

1. Use redcarpet as markdown parser. Kramdown can't enable syntax highlighting.

2. Modify all equation markers from $$ to \\(.