Remove Sireum Translator from sirum-tools.