Refactoring
Use the new CVC4 re.allchar constraint
Add partial support for regex.prototype.exec

Related to #99