added logging of mc-sat steps where samplesat fails to find solution
fixed timeout problems during reading large MRFs into memory after grounding
Creating corrected version of MC-SAT/SampleSAT
added command line options for mcsat/samplesat
updated dependencies
Merging...

Merge branch 'AAAI15_best_IUP' into tuffy_checking_samplesat
use correct SampleSAT (old code gone), also pulled out some learning/partitioning code
remove simpleMRF data mover functions