Update to tuffy version 4.0 hosted at Stanford
Merge pull request #2 from allenai/stanford-tuffy

Update to tuffy version 4.0 hosted at Stanford