redis 2.6.13
php-pear-phing: clean more non-free stuf
php-sabredav-Sabre_DAV: add patch from rawhide (but well applied)