[ref_impl_eiffel] [1627] Rename GUI_RM_SCHEMA_TOOL -> GUI_RM_SCHEMA_EXPLORER to make way for individual schema tool.

Revision: 1627
Author: thomas.beale
Log Message: