Install a new PHP extension by building a custom Docker image