[wip] basics in place, debugging
Integrated RerankingTester
Merge branch 'rerank' into working
cleaned up theta computation; added equality test
Ignore recursion test until I figure out what the correct ruleset is
Added reranking version of QueryAnswerer; fixed broken tests from tanh
draft of backtrace functionality in dprProver
Converted rule errors to backtraces
Merged with svn r2042
Merge branch 'backtrace' into working
Fixed exception assertion
Backtrace thread safety
Merged with working
Consolidated
and a test
Pulled from svn-2048
Merge branch 'consolidateComponents' into svn-r2048
Merge branch 'working' of git://github.com/TeamCohen/ProPPR into m

Conflicts:
	src/edu/cmu/ml/praprolog/ExampleCooker.java
	src/edu/cmu/ml/praprolog/prove/LogicProgram.java
formatted code