php-pecl-json: use system json-c library
php 5.5:  add option to disable json extension