Simplified WitnessLP and renamed it, removed dotProd
Significantly simplified Pruner, and now takes a template LP solver
Added interface checker for a WitnessLP, changed filename for WitnessLP_lpsolve