A Python script for generating HOTP values