Initial commit for U-Prove prover compatible with U-Prove CTP --
currently it's a copy of the old U-Prove prover