updated Util.popen and added CallProver.Eprover for interacting with E