Update to kramdown 1.0.2

A new kramdown version just came out. This replaces PR #911.