Adding a missing makefile to the dist (fixes distcheck)
Fix to boolean-terms; resolves bug #507
Fix to dumping re: boolean terms, datatypes
Comment out some debug-related things in attribute code, no longer needed
Merge branch 'master' of https://github.com/CVC4/CVC4