Now eqprover reads propositions from file

Specifying propositions and functionas to residualize
in the arguments has been disabled.
Also residualizer by default  residualizes all named functions.