Merge pull request #93 from HazyResearch/master

Make variable_id unambiguous in dumping factor graph
Updated spouse example for new walkthrough; modified symmetry rule Imply -> Equal
Update sql execution
Merge pull request #97 from HazyResearch/develop

Updated spouse_example for better walkthrough