Mammoth, Редактор Warcraft III