added a main to cvc4Script