Natalie can view the results of completed runs #2434

[sschriner]

Why:

Evelyn needs to know what Manticore detected and wants this data presented in MUI

Acceptance Criteria:

• Evelyn is able to right-click on a completed Manticore state and can select view the results for that state
• The summary results viewer of that state is opened
• The results of a detector (example: Integer overflow) are shown in a scrollable window
• The results viewer shows the ID of the state and you can copy the ID
• Evelyn can close the result viewer when she's done

From: https://github.com/trailofbits/manticore/issues/2434