rename SoC 2012 wiki pages This makes it a little more clear what the pages are, since we now have students showing up who may wonder whether "Application" is of interest to them. Suggested-by: Jakub Narebski

peff committed Mar 27, 2012