Strategy instatiation in rtz14.c

[rasmuswz]

We need to have a constructor that takes in instances of all the strategies used instead of the current instantiation of them in Rtz14_New and its executeProof method.