recent features from futhark git (#922c76)
Markdown diffs with boldface
better compatibility with python 2 + 3