Add GSoC 2013 to the docs