Fixed import bug in visitors/Visitor.py. Created z3 directory to include
z3 py and pyc files for unstable z3 branch. Should be able to use
python3 with z3 now.