Move destructor definitions out of header files included by emu.h; clean some obsolete junk out of machine.h [Alex Jackson]