* src/tgbaalgos/translate.cc, src/tgbaalgos/translate.hh: Remove const qualifier in translator::run return type.