Merge branch 'vagrant'
Merge branch 'vagrant'
Merge branch 'vagrant'
Merge branch 'tball'
Moved Z3 Debugging Output to Logger

Originally the z3_wrap.py debugging output would go to standard out
throw print statements guarded by a constant conditional statement.

I've replaced the print statements with DEBUG logging statements.
Merge pull request #9 from GroundPound/logging

Z3 Wrapper Debug Logging Output