PHP classes to verify Yubico OTP (One-Time Password)