Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
mv prp to regress1
Update NEWS.
Some minor cleanup.
Travis-CI configuration.
Merge branch '1.3.x'
Fix to Travis-CI config.
Fix to Travis-CI config.
Fix link error when using clang.
Merge branch '1.3.x'
cleanup
Fix stack size on in-tree regressions.
Merge branch '1.3.x'
Another fix for clang.
Merge branch '1.3.x'
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	NEWS
resolve merge issue.