We reached the conclusion of yet another Google Summer of Code. Our students and mentors put in a lot of effort, writing and reviewing code, documenting it and in the proce...