Implement the Recursive trait for FriProofTargets

[LindaGuiga]

TwoAdicFriPcs has FriProof as a Proof. Therefore, the first step to implementing RecursivePcs for TwoAdicFriPcs is to implement Recursive for the recursive equivalent of FriProof (including for all structures contained in FriProof.