John Judy's PHP library for SQRL servers