Fixed generation and checking of ENC_KEY.
Truncated "authTag" to be 128-bit long.
Changed "RqAuth" messages to contain a timestamp (nounce).
Merge branch 'master' into safe-haskell
Changed message to be signed in function "testMonografia".