Merge pull request #9 from ashish33/master

Force Tuffy to print all marginals, plus minor things
Merge pull request #10 from ashish33/master

Reduce Tuffy's output verbosity
Merge branch 'master' of https://github.com/allenai/tuffy