增加一个编码GUI， delete_dom函数。由scripter.py移至encode.py