Merge pull request #6 from malcolmgreaves/dev

ComplexFeature configuration
Efficiency & format refactor
Eliminated duplicate logic program
Fixed conflicts from merge with proverFeatures
fixes
temp remove CFL creation in QueryAnswer
Merge branch 'up_working' into dev

Conflicts:
	src/edu/cmu/ml/praprolog/QueryAnswerer.java
	src/edu/cmu/ml/praprolog/prove/feat/ComplexFeatureLibrary.java
added switch to safely use complex features -- if specififed
small CFLib refactor, added close to BR in init()
orphan
merged and resolved conflicts with failFast
Trainer now uses standard command line config
Added more rigorous testing & debug messages
merged with svn-r2163
Merge branch 'train-config' into svn-r2163
Merge branch 'consolidate-debug' into svn-r2163
ported trove changes to reference implementation
Reading/writing params files
[wip] params/config verification (TODO:test)
Even the prover verification works\!