题单「搜索题目」处理 AtCoder 新题号的小问题

出现状况：在题单中用「搜索题目」加入 AtCoder 题目时，会出现「部分题目未找到」的提示框。不过题目还是可以加入题单。

预期情况：题目不提示，直接加入题单。

可能原因：在添加题目，检查题目 PID 是否存在时，会转成大写；但是在部分 AtCoder 新题号中，包含小写字母。

出现状况：RMJ 题目页面的标题显示为 [题目名]。

建议实现：可以与主题库一样，显示为 [题号][题目名]。如果题号太长，可以折叠。