HOTP/TOTP implementation in Python