Clear the PHP5.5+ opcode cache after changing php files.

Some stuff in Fork is cached in php files. The php5.5+ opcode cache
doesn't see any changes when we manipulate this file. We thus need to
clear the opcode cache after changing/removing these files.