Add support for BOL and EOL terms in the Regex to CVC4 compiler

Relates to #99