WHIRR-312. Destroy instance removes all entries from the instances file except the one that is being terminated. Contributed by Andrei Savu.