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
cln now default w.r.t. build ID string
Merge branch '1.3.x'
Minor code cleanup.
Better get-value parse error message for common user error.
Better automatic handling of output language setting.
Merge branch '1.3.x'

Conflicts:
	NEWS
Cleanup related to output language fix.
fix for some nightly build failures
Merge branch 'master' of https://github.com/CVC4/CVC4
new functions in strings