properly parsing cvc4 output into shape and body

adding cvc4 executable