Adding php-cli extension for command line tools (artisan)