Add support for .* in the Regex to CVC4 compiler

Relates to #99