Add HOTP algorithm

[stcarrez]

The HOTP algorithm described in RFC 4226 is useful for implementing a 2FA authentication. This is useful for:

• Ada Keystore for the implementation of TOTP (See https://github.com/stcarrez/ada-keystore/issues/15)
• Ada Web Application if we want to provide 2FA