rename auth0-php-sdk with auth0-php