Clear out php-openid because Git still thinks it's a submodule to be managed.