Add redis extension to PHP, bump to v7