Updated README to reflect changes in how Boogie is called from smack.py.