A new example for the usual CERES method was added. Again,
it instantiates a proof schema and applies the CERES method
using the refutation produced by Prover9.
The problem of obtaining the ground substitution of the 
ground resolution refutation is still not fully automated.
That means that Prover9 renames the variables and we have to
map the renamed variables to the actual variables. Now I do this
by hand in the code.














git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1523 85d21ef8-add0-11de-ae77-5bfb9c5a3f34