First changes to Attestation.hs
Merge branch 'master' of https://github.com/armoredsoftware/protocol