Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC