Corrected output in block_survey
Minor readability changes
Added warning about matching number for versions < 5.3
Added is_bull_free
Added ChairGraph and is_chair_free
Added several is_free functions
Changed is_co_gem_free definition to is_p4_free (both still work)
Fixed division bug in harant
Add conjecture_old.py
Added some GraphBrain stub code