EqProverApp -> Main, and reorganized
Fixed a bug in hypertester
EqProverApp -> MainApp
Scripts for gen data and measuring performance