Detect whether PHP is running an opcode cache