Use pie to install PHP extensions on the docker image

[acelaya]

PIE (PHP installer for extensions) is now stable, so we could consider using it to install native extensions in the docker image.