Fixed smack.py to invoke Boogie in a more general fashion.