Human-readable file name for exported student code

[monkey2000]

Uxxxx_Pyyyy_zzzz.cc is ugly. Also, it doesn't match any column in the exported csv.

[monkey2000]

Advised by @twd2, we can put a scoreboard html in the zip file, with links to those poorly-named files.