Ensimag student's project: thanks everybody

Hi,

The 2013 edition of Ensimag students projects ended last wednesday. I had fewer students than last year, but we still have a few nice pieces of code (better errors for "git rm", new config options status.branch and status.short, code cleanups and bugfixes for Git-Mediawiki which are in master on on the way, and a preview tool for Git-Mediawiki that still needs a reroll).

Thanks to everybody who contributed to this. Students were positively surprised by the warm welcome and the very helpfull reviews they got on this list.

And now looking forward to 2014 edition ;-).