Require PHP 5.3 in composer.json.