Add: Allow default deleted profiles to be restored

[lychee-lynx]

Brief overview of PR changes/additions

• Allows safely restoring deleted default profiles
• Restricts deletedDefaultMuds to only record default games and not
  user created profiles.

Motivation for adding to Mudlet

Many times users might accidentally delete a default profile as they don't ask for checks before deleting,
adding this button can allow them to simply restore default profiles.

Other info (issues closed, discussion etc)

Attempts to close #7

[vadi2]

The approach is too heavy-handed here, restoring all deleted MUDs would be too much if you just wanted to restore one or two. It also adds another button to the already busy button screen, which is starting to become difficult to navigate for first-time players.

Let's look at alternatives for making this work.

[lychee-lynx]

I've changed the approach so that it now lets you choose specific default profiles to restore or all. Since the restore button was cluttering the screen I've moved it to the Games tab for a better experience.

[lychee-lynx]

Hi @vadi2, could you please review this and let me know your thoughts.

[lychee-lynx]

Hi @vadi2, gentle ping. I’ve addressed most of the earlier feedback and would appreciate another review when convenient. Thanks!