Added support for printing SMACK's debug stream using -d or --debug.
Added one more Boogie keyword -- div.
Closes #16.