RSS support

Since being rewritten, the site has dropped its RSS feed, https://graphcore-research.github.io/feed.xml, which I was using to subscribe. Please readd this using e.g. https://github.com/guts/mkdocs-rss-plugin.