Removed exclusion of zkpev from Cobertura
Merge branch 'master' of https://github.com/KRD-KOMM-VL/verifikasjonsprogramvare
Formatting (Jalopy)
Updated the system documentation for decryption
Removed unused code
Lowering threshold for Cobertura to 70% per class