runkit: Provide alternative repository for PHP 5.6.