Harden database format and apply HMAC on whole file (not just the encrypted part)
Close #1