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
minor changes to z3 interface
adding the paper for Marktoberdorf
stuff for publisher
paper changes
paper in HTML
typos corrected.
typo
final tex for publisher
fixed URLs
typo corrected
typo fixed
updates
fixed typo
Update README.md