libdeng2: Improved Lockable destructor
Shell|GUI: Tidier history of opened addresses

The extra information in parentheses (name, number of players) is
omitted from the persistent history.