Lax spacing in Redcarpet to comply with the Markdown standard

The pull request turns on the `:lax_spacing` option of Redcarpet such that GitHub-flavored code blocks do not need to be preceded by empty lines as in the Markdown standard. More details can be found [here](https://github.com/vmg/redcarpet/issues/390).