Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
mv prp to regress1
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	NEWS
resolve merge issue.
Merge branch 'master' of https://github.com/CVC4/CVC4
Merge branch 'master' of https://github.com/CVC4/CVC4
Merge branch 'master' of https://github.com/CVC4/CVC4
Merge branch 'master' of https://github.com/CVC4/CVC4
new functions in strings