Include `hmac_drbg` from `hacl_rs`

[jschneider-bensch]

The hacl-rs implementation can be found here: https://github.com/hacl-star/hacl-star/blob/6e9e75e14b6e72b51c6d65eb56d3c122e9ec3857/dist/rs/hacl/hmac_drbg.rs