add a link to the blog post describing how C-Reduce uses multiple
processors