switch to redcarpet for a markdown processor

and enable syntax highlighting for GitHub Flavored Markdown

and include pygments theme as adapted from GitHub back in the day

and style the .highlight and pre tags on blog posts