added Launcher destructor, and more fixes to missile destructors