Removing unused MemoryConsumptionAssertions from 2011
Ported NizkpCleansingFunctionalTest to 2013
Formatting (Jalopy)
Removed unused import (PMD)
Removing 2011 code not in use any more
Merge branch 'master' of https://github.com/KRD-KOMM-VL/verifikasjonsprogramvare
Merge branch 'master' of https://github.com/KRD-KOMM-VL/verifikasjonsprogramvare
Removing unused code from 2011
Added EncryptedVoteCompressionUnitTest
Removed unused import (PMD)