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
Fix fixed-wighted bug
Fix fixed-weight bug
hide hsql
remove hsql
bug of using jdbc
fix one scalikejdbc problem
jdbc bug
remove all scalikejdbc in src
Merge branch 'sen-jdbc'

Conflicts:
	src/main/scala/org/deepdive/datastore/HsqlDataStore.scala
	src/main/scala/org/deepdive/datastore/JdbcDataStore.scala
	src/main/scala/org/deepdive/extraction/ExtractionManager.scala
	src/main/scala/org/deepdive/extraction/datastore/HSQLExtractionDataStore.scala
	src/main/scala/org/deepdive/extraction/datastore/JdbcExtractionDataStore.scala
	src/main/scala/org/deepdive/inference/datastore/HSQLInferenceDataStore.scala
Merge branch 'master' into sen-jdbc
Small fix in fill_sequence
Refined logging
Added travis logo into README
add kill shell command
Update README.md
fix empty dbname bug