timespec printing bug
Revert "timespec printing bug"

This reverts commit 9006b759cfa01c6006196e0716c2d67c760556a6.
fix timespec printing

sorry prvs fix added some unrelated code
New --tear-down-incremental mode, useful for debugging and performance profiling.
update stats_black
Merge pull request #27 from kbansal/statistics

update stats_black
Some fixes to GC order in Java.
Add option to avoid dumping partial models/proofs.
Minor changes to script.  Disable cbqi sat.
Fix personal.mk for some make targets.
Fixes for --inst-max-level
Improve --dt-stc-ind for multi-variable datatype properties.
run script fix
Run script updates: no --stats, also application-track version.
Change SMT COMP script to use external timeouts.
Update submission make rules.
Bug fix for string-opt2 (copied from Tianyi's branch).
More make rules
One final bit (I hope) of make magic
More make rules