Use PHP 5.5 with opcode cache (closes #2).