Add cvc4-translator to installation