Stop visualizing grammars
optimize getting statistics from Dataset

Make sure that getting the number of compatible COT and PoOT
grammars doesn't involve recalculating all possible grammars every
time.
fix bug in grammars
make entailments auto-save when generated
Make save grammars after calculating