updated z3 datalog command for new z3 version
updated README z3 installation instructions, added python dependency