Changed the testdatafiles for NizkpDecryption2013VerificatumFunctionalTest to the decryption
lines from the rehersal-run at KRD friday before the election.
Changed the test file also to match the changed testdata of previous commit.