Allow configuring opaccel optimizations via php.ini setting