Delete map exploration data on player death

This fixes the bug where a new character with the same name as an old character would have the same map exploration data as the old one (see #1262).

The windows code should work, since it's mostly copied from game::delete_save, but I can't test it myself.