Add Thomas Hunger to THANKS file (for having submitted patches).
Merge branch '1.4.x'
Merge branch 'master' of github.com:lianah/CVC4 into timeout
cleanup before merge
Merge branch 'timeout' of github.com:lianah/CVC4 into timeout