database.ProjectSubmission.get_svn_export_command now appends the file extension of the submission onto the output path, so if a student submits a file (not a directory), e.g., test.html, it will check out as 'studenta.html', not 'studenta' (so it has its correct file extension). (LP: #608040)