Re #7417. Fix Workspace->Rename menu item.
Re #7417. Update workspace name when renamed

Ensure that the workspace name held internally by (and displayed in the
title bar of) the MantidMatrix object is updated if the workspace is
renamed.
Merge branch 'feature/7417_rename_broken' into develop