Remove nacl.cpp and nacl.h, they are now replaced by IPC.cpp and VirtualMachine.cpp