made assembly plugin dependency explicit
forcing Tuffy to print ALL marginals: mcsat_output_hidden_atoms = true
added .gitignore; included .idea folder
Merge pull request #9 from ashish33/master

Force Tuffy to print all marginals, plus minor things