Add a button for downloading the code

[m-danya]

Кнопка должна быть еле заметной, наверное, как тут "Text" из Material UI. При нажатии на кнопку код скачивается как файл с названием <task_name>.pl или <task_name>.hlp.

Ещё нужно продумать такой сценарий: если код написан на ХЛП, то полезно бы уметь скачивать не только его, но и его Prolog-версию (для того чтобы найти возможные проблемы в трансляции; для того чтобы запускать у себя пролог-программу и тд). Т.е. если выбран ХЛП, то надо придумать, как сделать скачивание ХЛП/Prolog версии на выбор, мб тупо две кнопки, мб что-то поинтереснее

[Wektor607]

Я возьмусь делать данную кнопку