Add with-pdo-oci option to php5*

Fixes issue #813