Fix LogicInfo parsing for string logics
Cache apt packages on Travis.
Switch license default back to BSD, and add --best and --enable-gpl options.
Merge branch '1.3.x'

Conflicts:
	COPYING
	NEWS
	config/cvc4.m4
Another way to handle negative contain