RFC 重写导出功能

[ZnPdCo]

• 删除 excel 导出，这东西没人用，懒得维护了？
• 删除 htm 导出，既然 htm 只有成绩的话，为什么不导出成 csv 呢？格式好看还能自己处理。另外，这个东西好像也没人用，懒得维护了。
• 重写 html 导出，计划使用模板语法。不过计划尽可能保持原本的样式。计划通过写入到一个 json 中，然后使用 js 生成表格。应该速度不会很慢。如果直接在代码中写 html 语法感觉有点难以维护了。而且还需要处理一大堆选手代码中包含特殊字符的情况。懒得为此引入一个额外的第三方html模板库了。