Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporting this issue
Change exit status to be more consistent with other command-line tools: 0 success, nonzero error
Some fixes to build system with dependency-tracking is off; should fix RPM/Debian builds.
Expanded usefulness of (set-info :cvc4-logic ...)
Merge branch 'master' of https://github.com/CVC4/CVC4