Remove Sireum Translator from sirum-tools