Allow compound extensions (.tar.gz, .tar.xz, ...)

This fix is not complete, as we should also change frontend/pages/admin_course.py:364 to generate the filename in the downloaded archive.