Use HKDF in exercise.Secret.deriveKey

[alex]

https://cryptography.io/en/latest/hazmat/primitives/key-derivation-functions/#cryptography.hazmat.primitives.kdf.hkdf.HKDF

[lvh]

Thanks! I've modified the description of this issue somewhat so it can be a task :)