Fix for bug 544.
Merge branch '1.3.x'
Send Travis-CI emails to everyone
Merge branch '1.3.x'
First attempt at incorporating LFSC proof checker into CVC4.
some config changes: new --bsd option, readline gives warning, default build is now production.
Merge branch '1.3.x'

Conflicts:
	COPYING
	NEWS
Merge branch 'master' of https://github.com/CVC4/CVC4