Simple OpenID server written in PHP