added printing to CommandInterrupted command status
Merge branch 'timeout' of github.com:lianah/CVC4 into timeout