Eliminated duplicate logic program
Fixed conflicts from merge with proverFeatures
fixes
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