Add Planet feed to website

[amirmc]

A blog roll of contributors should be added to the site.

[avsm]

also http://philtomson.github.io/blog/2014/07/09/core-dot-async-example/

[voila]

Where do you want it ? On the community page ?
What blogs do you want in the list ?

[amirmc]

Community page seems to make sense to me. We can always move it if we decide to and I'm thinking we should restructure some of the site at some point (to highlight things like Irmin more), but that's for another time/issue.

Initial blog-roll would be of all the current contributors, as seen on the community page and probably a few others (cf Anil's comment above). Some of those people have blogs, whereas others don't, and we haven't got a convenient list of those feeds (yet).

[amirmc]

Instead of closing, I renamed this issue to "Add Planet feed to website". We should be able to take community feeds, aggregate them and display posts on the website (linking back to original sources) -- just like http://ocaml.org/community/planet/. There's a unix dependency to deal with before the existing tools will work with Mirage.